Rick Rabiser, Martin Becker, Karina Villela, David Benavides, Peter Y.H. Wong, Martin Leucker, "Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2011)", 2011 15th International Software Product Line Conference (SPLC 2011) vol. 00 no. , p. 336, , 2011