C. Martinez, S. Gonnet, and H. Leone, “A Petri Net approach for representing Orthogonal Variability Models”, IJCT, vol. 9, no. 1, pp. 995–1003, Jun. 2013.