Software requirements for railway signalling systems | IET Conference Publication | IEEE Xplore