Ricky W Butler

• An abstract specification language for Markov reliability models