Stephan Mennicke, Malte Lochau, Julia Schroeter, Tim Winkelmann. Automated verification of feature model configuration processes based on workflow Petri nets. In Stefania Gnesi, Alessandro Fantechi, editors, 18th International Software Product Line Conference, SPLC '14, Florence, Italy - September 15 - 19, 2014. pages 62-71, ACM, 2014. [doi]
Abstract is missing.