1. Aspnes, J., Herlihy, M.: Fast randomized consensus using shared memory. Journal of Algorithms 11(3), 441–461 (1990)
2. Baier, C.: On algorithmic verification methods for probabilistic systems. Mannheim University, Habilitationsschrift (1998)
3. Lecture Notes in Computer Science;C. Baier,1997
4. Baier, C., Katoen, J.P.: Principles of Model Checking (Representation and Mind Series). The MIT Press, Cambridge (2008)
5. Lecture Notes in Computer Science;E. Bartocci,2011