Static analysis and family-based model checking of featured transition systems with VMC. - Maurice H. ter Beek; Franco Mazzanti; Ferruccio Damiani; Luca Paolini; Giordano Scarso; Michele Valfrè; Michael Lienhardt (SPLC (B), 2021)