Title: An abstract specification language for Markov reliability models
Subjects: Statistical methods, Reliability (Engineering)