Features of CML: A formal modelling language for Systems of Systems.