Clafer: Lightweight Modeling of Structure, Behaviour, and Variability. - Paulius Juodisius; Atrisha Sarkar; Raghava Rao Mukkamala; Michal Antkiewicz; Krzysztof Czarnecki 001; Andrzej Wasowski (Art Sci. Eng. Program., 2019)