I am happy to announce that the paper “A Lightweight Approach for Model Checking Variability-Based Graph Transformations” has been accepted in the GCM’22. This paper is the result of a collaboration with Mitchell Albers, and Daniel Strüber. A preprint is available in my Publications page.