Ina Schaefer, Reiner Hähnle: Formal Methods in Software Product Line Engineering. Computer 44(2): 82-85 (2011)