Model-based security analysis of feature-oriented software product lines
Peldszus, S.
gpce 2018 - proceedings of the 17th acm sigplan international conference on generative programming: concepts and experiences, co-located with splash 20182018pp. 93-106