Model Checking Geographically Distributed Interlocking Systems Using UMC | IEEE Conference Publication | IEEE Xplore