FTS4VMC: A front-end tool for static analysis and family-based model checking of FTSs with VMC. - ter Beek, Maurice H.; Damiani, Ferruccio; Lienhardt, Michael; Mazzanti, Franco; Paolini, Luca; Scarso, Giordano (Science of Computer Programming, 2022)