@inproceedings{inproceedings, title  = {{The hierarchical compositional interchange format}},

 publisher = {{Springer-Verlag}},

 url = {{}},

 year = {{2011}},

 month = {{1}},

 author = {{Nadales Agut DE and van Beek DA and Beohar H and Cuijpers PJL and Fonteijn J}},

 isbn = {{978-3-642-25270-9}},

 journal = {{Proceedings of the 9th international conference on Formal Methods for Components and Objects}},

 pages = {{316-335}},

 note = {{Accessed on 2024/12/22}}}