A. Anjorin, S. Oster, I. Zoric, and A. Schürr, “Optimizing Model-Based Software Product Line Testing with Graph Transformations”, eceasst, vol. 47, Jul. 2012.