Model-based design for IEC 61508: Towards translation validation of generated code

Conrad, Mirko (2008): Model-based design for IEC 61508: Towards translation validation of generated code. Software Engineering 2008. Bonn: Gesellschaft für Informatik e. V.. PISSN: 1617-5468. ISBN: 978-3-88579-216-1. pp. 113-117. Regular Research Papers. München. 18.-22.2.2008