Güntherand Weissenbacher. Incremental Bounded Software Model Checking. ACM Press, 2014, doi:10.1145/2632362.2632374.