Availability Monitor for a Software Based System. - Marc Haberkorn; Kishor S. Trivedi (HASE, 2007)