Colin Campbell Wolfgang Grieskamp Lev Nachmanson Wolfram Schulte Nikolai Tillmann Margus Veanes Testing Concurrent Object-Oriented Systems with Spec Explorer. 542-547 2005 conf/fm/2005 FM http://dx.doi.org/10.1007/11526841_38 db/conf/fm/fm2005.html#CampbellGNSTV05