Marko Kleine Büning, Carsten Sinz: Automatic Modularization of Large Programs for Bounded Model Checking. ICFEM 2019: 186-202