Michael Lienhardt Ferruccio Damiani Lorenzo Testa Gianluca Turin On checking delta-oriented product lines of statecharts. 3-34 2018 166 Sci. Comput. Program. https://doi.org/10.1016/j.scico.2018.05.007 db/journals/scp/scp166.html#LienhardtDTT18
