K. Baukus, S. Bensalem, Y. Lakhnech, and K. Stahl. TACAS '00: Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems, page 188--203. London, UK, Springer-Verlag, (2000)
E. Clarke, O. Grumberg, and M. Browne. PODC '86: Proceedings of the fifth annual ACM symposium on Principles of distributed computing, page 240--248. New York, NY, USA, ACM, (1986)