1. J.F. Groote, J.W.C. Koorn, S.F.M. van Vlijmen, The Safety Guaranteeing System at Station Hoorn-Kersenboogerd, in: Conference on Computer Assurance, National Institute of Standards and Technology, 1995, pp. 57–68.
2. Symbolic model checking without BDDs;Biere,1999
3. The MathSAT 3 system;Bozzano,2005
4. A Fast Linear-Arithmetic Solver for DPLL(T);Dutertre,2006
5. A. Bauer, M. Pister, M. Tautschnig, Tool-support for the analysis of hybrid systems and models, in: DATE ’07: Proceedings of the Conference on Design, Automation and Test in Europe, EDA Consortium, San Jose, CA, USA, 2007, pp. 924–929.