New Concepts in the Abstract Format of the Compositional Interchange Format. - Dirk A. van Beek; Pieter Collins; D. E. Nadales Agut; Jacobus E. Rooda; Ramon R. H. Schiffelers (ADHS, 2009)

The Hierarchical Compositional Interchange Format. - Damian Nadales Agut; Bert van Beek; Harsh Beohar; Pieter J. L. Cuijpers; Jasper Fonteijn (FMCO, 2010)

Reconciling Urgency and Variable Abstraction in a Hybrid Compositional Setting. - Dirk A. van Beek; Pieter J. L. Cuijpers; Jasen Markovski; D. E. Nadales Agut; Jacobus E. Rooda (FORMATS, 2010)

Hierarchical states in the Compositional Interchange Format - Harsh Beohar; D. E. Nadales Agut; Dirk A. van Beek; Pieter J. L. Cuijpers (SOS, 2010)

Linearization of CIF Through SOS - Damian Nadales Agut; Michel A. Reniers (EXPRESS, 2011)

Syntax and semantics of the compositional interchange format for hybrid systems. - D. E. Nadales Agut; D. A. van Beek; Jacobus E. Rooda (J. Log. Algebraic Methods Program., 2013)