Rigorous Development of Dependable Systems Using Fault Tolerance Views | IEEE Conference Publication | IEEE Xplore