Martin Becker, Sören Kemmann, K. C. Shashidhar: Integrating Software Safety and Product Line Engineering using Formal Methods: Challenges and Opportunities. SPLC Workshops 2010: 129-136