Văn bản này: An abstract specification language for Markov reliability models / Ricky W. Butler.