UML Based Reverse Engineering for the Verification of Railway Control Logics | IEEE Conference Publication | IEEE Xplore