TITLE     : FTS4VMC: a front-end tool for static analysis and family-based model checking of FTSs with VMC
AUTHOR(S) : Ter Beek Mh, Damiani F, Lienhardt M, Mazzanti F, Paolini L, Scarso G
TYPE      : Journal article
YEAR      : 2022
CODE      : 471666

*** DO NOT EDIT THIS FILE ***