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. In 2002 International Conference on Dependable Systems and Networks (DSN 2002), 23-26 June 2002, Bethesda, MD, USA, Proceedings. pages 561-570, IEEE Computer Society, 2002. [doi]
Abstract is missing.