Automated verification of feature model configuration processes based on workflow Petri nets

Published in 18th International Software Product Line Conference, SPLC '14, Florence, Italy, September 15-19, 2014, 2014