Authoring IEC 61508 Based Software Development Process Models. - Ivan Porres; Jeanette Heidenberg; Max Weijola; Kristian Nordman; Dragos Truscan (PROFES, 2013)