T. Arons, A. Pnueli, S. Ruah, J. Xu, und L. Zuck. CAV '01: Proceedings of the 13th International Conference on Computer Aided Verification, Seite 221--234. London, UK, Springer-Verlag, (2001)
K. Baukus, S. Bensalem, Y. Lakhnech, und K. Stahl. TACAS '00: Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems, Seite 188--203. London, UK, Springer-Verlag, (2000)