A software framework for automated verification. - Ivo Raedts; Marija Petkovic; Alexander Serebrenik; Jan Martijn E. M. van der Werf; Lou J. Somers; Maarten Boote (SAC, 2007)