A user requirement (safety critical software) | IET Conference Publication | IEEE Xplore