Reliability measurement based on the Markov models for real-time reactive systems : design and implementation