Decomposing software verification into off-the-shelf components: an application to CEGAR. - Beyer, Dirk; Haltermann, Jan; Lemberger, Thomas; Wehrheim, Heike (ICSE: International Conference on Software Engineering, 2022)