Carsten Sinz, Stephan Falke, Florian Merz
In Proc. of the 5th Intl. Workshop on Systems Software Verification (SSV 2010), Vancouver, Canada