@article {128,
	title = {Syntax and semantics of the compositional interchange format for hybrid systems},
	journal = {J. Log. Algebr. Program.},
	volume = {82},
	year = {2013},
	pages = {1-52},
	author = {Dami{\'a}n E. Nadales Agut and Dirk A. van Beek and Jacobus E. Rooda}
}