Ilya Lopatkin, Alexei Iliasov, Alexander Romanovsky. Rigorous Development of Dependable Systems Using Fault Tolerance Views. In Tadashi Dohi, Bojan Cukic, editors, IEEE 22nd International Symposium on Software Reliability Engineering, ISSRE 2011, Hiroshima, Japan, November 29 - December 2, 2011. pages 180-189, IEEE, 2011. [doi]
Abstract is missing.