Antonio Anastasio Bruto da Costa, Pallab Dasgupta, Goran Frehse: Formal feature analysis of hybrid automata. MEMOCODE 2016: 2-11