Railway signaling safety-critical software testing based on dynamic decision table | IEEE Conference Publication | IEEE Xplore