Integrating automatic verification of safety requirements in railway interlocking system design | IEEE Conference Publication | IEEE Xplore