Features of CML: A formal modelling language for Systems of Systems | IEEE Conference Publication | IEEE Xplore