A Modeling Method for Model-based Analysis and Design of a System-of-Systems | IEEE Conference Publication | IEEE Xplore