Alois Mayr, Reinhold Plösch, Matthias Saft. Towards an Operational Safety Standard for Software: Modelling IEC 61508 Part 3. In 18th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2011, Las Vegas, NV, USA, 27-29 April, 2011. pages 97-104, IEEE Computer Society, 2011. [doi]