Efficient static analysis and verification of featured transition systems. - ter Beek, Maurice H.; Damiani, Ferruccio; Lienhardt, Michael; Mazzanti, Franco; Paolini, Luca (Empirical Software Engineering, 2022)