Automatically Generated Safety Mechanisms from Semi-Formal Software Safety Requirements. - Raphael Fonte Boa Trindade; Lukas Bulwahn; Christoph Ainhauser (SAFECOMP, 2014)