Formal models for alternative representations of manufacturing systems of systems | IEEE Conference Publication | IEEE Xplore