CPAchecker: A Tool for Configurable Software Verification - Beyer, Dirk (arXiv.org)