Martinez, C.; Díaz, N.; Gonnet, S.; Leone, H. A Petri Net Variability Model for Software Product Lines. EJS 2014, 13, 35-53.