Y. Kesten, A. Pnueli, E. Shahar, und L. Zuck. CONCUR '02: Proceedings of the 13th International Conference on Concurrency Theory, Seite 101--115. London, UK, Springer-Verlag, (2002)
R. Kurshan, und K. McMillan. PODC '89: Proceedings of the eighth annual ACM Symposium on Principles of distributed computing, Seite 239--247. New York, NY, USA, ACM, (1989)
P. Wolper, und V. Lovinfosse. Proceedings of the International Workshop on Automatic Verification Methods for Finite State Systems, Seite 68--80. London, UK, Springer-Verlag, (1990)