Model-based verification in the development of dependable systems | IEEE Conference Publication | IEEE Xplore