David C. Jensen, Irem Y. Tumer. Modeling and Analysis of Safety in Early Design. In Christiaan J. J. Paredis, Carlee Bishop, Douglas A. Bodner, editors, Proceedings of the Conference on Systems Engineering Research, CSER 2013, Atlanta, Georgia, USA, March 19-22, 2013. Volume 16 of Procedia Computer Science, pages 824-833, Elsevier, 2013. [doi]
Abstract is missing.