Dave Clarke, Ina Schaefer, Maurice H. ter Beek, Sven Apel, Joanne M. Atlee. Formal methods and analysis in software product line engineering: 4th edition of FMSPLE workshop series. In Tomoji Kishi, Stan Jarzabek, Stefania Gnesi, editors, 17th International Software Product Line Conference, SPLC 2013, Tokyo, Japan - August 26 - 30, 2013. pages 266-267, ACM, 2013. [doi]
Abstract is missing.