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