TTCN-3 Testing of Hoorn-Kersenboogerd Railway Interlocking | IEEE Conference Publication | IEEE Xplore