Modeling and formal verification of SMT rail interlocking system using PyNuSMV | IEEE Conference Publication | IEEE Xplore