Languages and models for hybrid automata: A coalgebraic perspective - Neves, Renato Jorge Araújo (2018)
article in press