Towards an Operational Safety Standard for Software: Modelling IEC 61508 Part 3 | IEEE Conference Publication | IEEE Xplore