Matthias Daum Stefan Maus Norbert Schirmer M. Nassim Seghir Integration of a Software Model Checker into Isabelle. 381-395 2005 conf/lpar/2005 LPAR http://dx.doi.org/10.1007/11591191_27 db/conf/lpar/lpar2005.html#DaumMSS05