Sara Bessling, Michaela Huhn. Towards Formal Safety Analysis in Feature-Oriented Product Line Development. In Jeremy Gibbons, Wendy MacCaull, editors, Foundations of Health Information Engineering and Systems - Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers. Volume 8315 of Lecture Notes in Computer Science, pages 217-235, Springer, 2013. [doi]
Abstract is missing.