Model-based requirements engineering for system of systems | IEEE Conference Publication | IEEE Xplore