1. Verifying continuous-time Markov chains;Aziz,1996
2. Design and synthesis of synchronization skeletons using branching time temporal logic;Clarke,1981
3. B d'Ausbourg and P. Siron. CERTI : Evolutions of the ONERA RTI prototype. In Fall 2002 Simulation Interoperability Workshop, 2002
4. Solution of some problems in the theory of probabilities of significance in automatic telephone exchanges;Erlang;P. O. Electrical Engineering Journal,1917
5. A logic for reasoning about time and reliability;Hansson;Formal Aspects of Computing,1994