Margus Veanes Colin Campbell Wolfgang Grieskamp Wolfram Schulte Nikolai Tillmann Lev Nachmanson Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer. 39-76 2008 Formal Methods and Testing http://dx.doi.org/10.1007/978-3-540-78917-8_2 conf/fortest/2008 db/conf/fortest/fortest2008.html#VeanesCGSTN08