Simulating and analyzing railway interlockings in ExSpect | IEEE Journals & Magazine | IEEE Xplore