Models composition in FORM-L: Study of complex socio-cyber-physical systems and large scale systems of systems | IEEE Conference Publication | IEEE Xplore