1. Formal Development of System of Systems. (27th August 2013) Authors: Kamali, Maryam; Neovius, Mats; Petre, Luigia; Sandvik, Petter Other Names: Ciancarini P. Academic Editor.; He X. Academic Editor. Journal: ISRN software engineering Issue: Volume 2013(2013) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗