Kishor S. Trivedi Manish Malhotra Reliability and Performability Techniques and Tools: A Survey. 27-48 1993 MMB db/conf/mmb/mmb93.html#TrivediM93