Model-based development of fault tolerant systems of systems | IEEE Conference Publication | IEEE Xplore