A. Panagiotidis, D. Kauker, S. Frey, and T. Ertl. Second International Conference on Parallel, Distributed, Grid and Cloud Computing for Engineering, Civil-Comp Press, (2011)
G. Basler, M. Mazzucchi, T. Wahl, and D. Kroening. CAV '09: Proceedings of the 21st International Conference on Computer Aided Verification, page 64--78. Berlin, Heidelberg, Springer-Verlag, (2009)