Reconstructing the High-Level Structure of Legacy Code via Software Model Checking: An Experience Report. - Roberto Cavada; Alessandro Cimatti; Alberto Griggio; Stefano Tonetta; Federico Bonafini; Matteo Campidelli; Andrea Zasa (FMICS, 2024)