Modeling High Availability. - Kishor S. Trivedi; Ranjith Vasireddy; David Trindale; Swami Nathan; Rick Castro (PRDC, 2006)