1. A logic for reasoning about time and reliability;Hansson;Formal Aspects of Computing,1994
2. Model-checking algorithms for continuous-time Markov chains;Baier;IEEE Transactions on Software Engineering,2003
3. A new methodology for calculating distributions of reward accumulated during a finite interval;Qureshi,1996
4. Discrete-time rewards model-checked;Andova,2003
5. On the logical characterisation of performability properties;Baier,2000