Mennicke, S., M. Lochau, J. Schroeter, and T. Winkelmann,
"Automated Verification of Feature Model Configuration Processes Based on Workflow Petri Nets",
18th International Software Product Line Conference (SPLC 2014), Florence, Italy, ACM, 09/2014.
Abstract