Hervé Guéguen, J. Zaytoon. Abstractions of Hybrid Systems for verification. Juan Andrade Cetto, Joaquim Filipe and Jean-Louis Ferrier.
Informatics in Control Automation and Robotics, Springer, pp.15-28, 2011, Lecture Notes in Electrical Engeneering,
⟨10.1007/978-3-642-19730-7⟩.
⟨hal-00586286⟩