A Hybrid Denotational Semantics for Hybrid Systems. - Bouissou, Olivier; Martel, Matthieu (2008)