Trindade, Bulwahn, Ainhauser, 2014. Automatically Generated Safety Mechanisms from Semi-Formal Software Safety Requirements, in: . Springer International Publishing.. https://doi.org/10.1007/978-3-319-10506-2_19