se.wtb.tue.nl
Compositional Interchange Format for HybridSystems (CIFThe main purpose of the Compositional Interchange Format (CIF)[1], that hasoriginally been developed in HYCON, see [2] and [3, 4, 5, 6], is to establishinter-operability of a wide range of tools by means of model transformations toand from the CIF. In addition, the CIF provides a generic modeling formalismand tools for a wide range of untimed