@INPROCEEDINGS{Becker2010,
  author = {Becker, Martin and Kemmann, Soeren and Shashidhar, K. C.},
  title = {Integrating Software Safety and Product Line Engineering using Formal
	Methods: Challenges and Opportunities},
  booktitle = {Proceedings of Software Product Line Conference (SPLC '10)},
  volume = {2},
  year = {2010},
  pages = {129-136},
  abstract = {Product line engineering and safety engineering for software have
	both become mainstays to address the current challenges in developing
	software-intensive, safety-critical embedded systems. They address
	orthogonal concerns and the concepts and methods used by them have
	naturally evolved independently. A holistic, streamlined approach
	toward system engineering, however, obviously needs to identify and
	exploit the opportunities for a beneficial interplay between the
	two. We believe that appropriate formal models and methods can provide
	a suitable backbone in realizing such an approach. In this article,
	we present the challenges that arise while addressing safety in the
	software product line engineering context; and discuss where opportunities
	exist for leveraging formal methods and how they can provide the
	necessary techniques to address them.},
  url = {http://splc2010.postech.ac.kr/SPLC2010_second_volume.pdf}
}