John S. Fitzgerald, Jeremy Bryans, Richard Payne. A Formal Model-Based Approach to Engineering Systems-of-Systems. In Luis M. Camarinha-Matos, Lai Xu, Hamideh Afsarmanesh, editors, Collaborative Networks in the Internet of Services - 13th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2012, Bournemouth, UK, October 1-3, 2012. Proceedings. Volume 380 of IFIP Advances in Information and Communication Technology, pages 53-62, Springer, 2012. [doi]
Abstract is missing.