Integration of a Software Model Checker into Isabelle - Daum, M; Maus, S; Schirmer, N; Seghir, M (LPAR, 2005)