Günther, Weissenbacher, 2014. Incremental bounded software model checking, in: . ACM Press.. https://doi.org/10.1145/2632362.2632374