Model-merged development for analysis and design of dependable software systems | IEEE Conference Publication | IEEE Xplore