Ansgar Fehnker Ralf Huuck Patrick Jayet Michel Lussenburg Felix Rauch Model Checking Software at Compile Time. 45-56 2007 conf/tase/2007 TASE http://doi.ieeecomputersociety.org/10.1109/TASE.2007.34 db/conf/tase/tase2007.html#FehnkerHJLR07