G. Basler, M. Mazzucchi, T. Wahl, и D. Kroening. CAV '09: Proceedings of the 21st International Conference on Computer Aided Verification, стр. 64--78. Berlin, Heidelberg, Springer-Verlag, (2009)
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)