The experience of auditing software for safety critical railway signalling equipment | IEEE Conference Publication | IEEE Xplore