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)", Software Product Line Conference, International vol. 00 no. , p. 336, , 2011