The hierarchical compositional interchange format

Reference

Damian Nadales, Bert van Beek, Harsh Beohar, Pieter Cuijpers, and Jasper Fonteijn. The hierarchical compositional interchange format. In Proceedings of the 9th international conference on Formal Methods for Components and Objects, FMCO'10, pages 316–335, Berlin, Heidelberg, 2011. Springer-Verlag.

Suggested BibTeX entry:

@inproceedings{fmco-2011-hcif,
    address = {Berlin, Heidelberg},
    author = {Damian Nadales and Bert van Beek and Harsh Beohar and Pieter Cuijpers and Jasper Fonteijn},
    booktitle = {Proceedings of the 9th international conference on Formal Methods for Components and Objects},
    pages = {316--335},
    publisher = {Springer-Verlag},
    series = {FMCO'10},
    title = {The hierarchical compositional interchange format},
    year = {2011}
}

This work is not available online here.