Formal Issues in Modelling and Automated Checking of Software Product Lines

{description_courte}