A Novel Railway Signal Control System Based on the Internet Technology and an Assurance Technology | IEEE Conference Publication | IEEE Xplore