@Inproceedings{EPTCS133.5, author = {Haverkort, Boudewijn R.}, year = {2013}, title = {Challenges for modelling and analysis in embedded systems and systems-of-systems design}, 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 = {40-46}, doi = {10.4204/EPTCS.133.5}, }