Tolety Siva Perraju Satyendra Pal Rana Susanta P. Sarkar Specifying fault tolerance in mission critical systems. 24-31 1996 conf/hase/1996 HASE http://computer.org/proceedings/hase/7629/76290024abs.htm db/conf/hase/hase1996.html#PerrajuRS96