Appropriate modeling and analysis for systems of systems: Case study synopses using a taxonomy | IEEE Conference Publication | IEEE Xplore