J. Woodcock, A. Cavalcanti, J. Fitzgerald, P. Larsen, A. Miyazawa, S. Perry. Features of CML: A formal modelling language for Systems of Systems. In 7th International Conference on System of Systems Engineering, SoSE 2012, Genova, Italy, July 16-19, 2012. pages 445-450, IEEE, 2012. [doi]
Abstract is missing.