A. Pnueli, J. Xu, и L. Zuck. CAV '02: Proceedings of the 14th International Conference on Computer Aided Verification, стр. 107--122. London, UK, Springer-Verlag, (2002)
K. Baukus, S. Bensalem, Y. Lakhnech, и K. Stahl. TACAS '00: Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems, стр. 188--203. London, UK, Springer-Verlag, (2000)