@Inproceedings{EPTCS133.3, author = {Pazzi, Luca}, year = {2013}, title = {Systems of Systems Modeled by a Hierarchical Part-Whole State-Based Formalism}, editor = {Larsen, Kim G. and Legay, Axel and Nyman, Ulrik}, booktitle = {{\rm Proceedings 1st Workshop on} Advances in Systems of Systems, {\rm Rome, Italy, 16th March 2013}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {133}, publisher = {Open Publishing Association}, pages = {24-34}, doi = {10.4204/EPTCS.133.3}, }