A goal-based approach for modeling and simulation of different types of system-of-systems | BIAI Journals & Magazine | IEEE Xplore