Media type: E-Article Title: Lecture Notes in Computer Science: Automatically Generated Safety Mechanisms from Semi-Formal Software Safety Requirements Contributor: Trindade, Raphael Fonte Boa; Bulwahn, Lukas; Ainhauser, Christoph Published: Springer International Publishing, 2014 Published in: Lecture Notes in Computer Science (2014), Seite 278-293 Language: Not determined DOI: 10.1007/978-3-319-10506-2_19 ISSN: 0302-9743; 1611-3349 Origination: Footnote: