TITLE     : Efficient static analysis and verification of featured transition systems
AUTHOR(S) : Ter Beek Mh, Damiani F, Lienhardt M, Mazzanti F, Paolini L
TYPE      : Journal article
YEAR      : 2022
CODE      : 457890

*** DO NOT EDIT THIS FILE ***