Claus Ballegaard Nielsen, Peter Gorm Larsen. Extending VDM-RT to enable the formal modelling of System of Systems. In 7th International Conference on System of Systems Engineering, SoSE 2012, Genova, Italy, July 16-19, 2012. pages 457-462, IEEE, 2012. [doi]
Abstract is missing.