Goanna - A Static Model Checker. - Ansgar Fehnker; Ralf Huuck; Patrick Jayet; Michel Lussenburg; Felix Rauch (FMICS/PDMC, 2006)

Model Checking Software at Compile Time. - Ansgar Fehnker; Ralf Huuck; Patrick Jayet; Michel Lussenburg; Felix Rauch (TASE, 2007)