A. Pnueli, J. Xu, und L. Zuck. CAV '02: Proceedings of the 14th International Conference on Computer Aided Verification, Seite 107--122. London, UK, Springer-Verlag, (2002)
G. Basler, M. Mazzucchi, T. Wahl, und D. Kroening. CAV '09: Proceedings of the 21st International Conference on Computer Aided Verification, Seite 64--78. Berlin, Heidelberg, Springer-Verlag, (2009)