J.E.: A compositional interchange format for hybrid systems (2006)

by D A v Beek, M A Reniers, R R H Schiffelers, Rooda