Ann T. Tai William H. Sanders Leon Alkalai Savio N. Chau Kam S. Tso Performability Analysis of Guarded-Operation Duration: A Successive Model-Translation Approach. 561-570 2002 conf/dsn/2002 DSN http://computer.org/proceedings/dsn/1597/15970561abs.htm db/conf/dsn/dsn2002.html#TaiSACT02