Publicado em "Theoretical aspects of computing - ICTAC 2016: 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings". ISBN 978-3-319-46749-8
['Renato Neves', 'Luís Soares Barbosa']
Hybrid Automata as Coalgebras