Lee, Fong-An (2003) Reliability measurement based on the Markov models for real-time reactive systems : design and implementation. Other thesis, Concordia University.