Specifying fault tolerance in mission critical systems. - Tolety Siva Perraju; Satyendra Pal Rana; Susanta P. Sarkar (HASE, 1996)