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