An approach to model formulation for systems of systems | IEEE Conference Publication | IEEE Xplore