Presentation of the 9th Edition of the Model Checking Contest. - Elvio Gilberto Amparore; Bernard Berthomieu; Gianfranco Ciardo; Silvano Dal-Zilio; Francesco Gallà; Lom-Messan Hillah; Francis Hulin-Hubard; Peter Gjøl Jensen; Loïg Jezequel; Fabrice Kordon; Didier Le Botlan; Torsten Liebke; et al. (TACAS (3), 2019)

A CTL* Model Checker for Petri Nets. - Elvio Gilberto Amparore; Susanna Donatelli; Francesco Gallà (Petri Nets, 2020)

starMC: an automata based CTL* model checker. - Elvio Gilberto Amparore; Susanna Donatelli; Francesco Gallà (PeerJ Comput. Sci., 2022)