C. Martinez, N. Díaz, S. Gonnet, and H. Leone, “A Petri Net Variability Model for Software Product Lines”, EJS, vol. 13, no. 1, pp. 35-53, Jun. 2014.