Model-based development of systems-of-systems with reliability requirements | IEEE Conference Publication | IEEE Xplore