@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 2025/06/20}}}