Srinivasan Ramani Katerina Goseva-Popstojanova Kishor S. Trivedi A Framework for Performability Modeling of Messaging Services in Distributed Systems. 25-34 2002 conf/iceccs/2002 ICECCS http://csdl.computer.org/comp/proceedings/iceccs/2002/1757/00/17570025abs.htm db/conf/iceccs/iceccs2002.html#RamaniGT02