Self-checking design, implementation, and measurement of a controller for track-side railway systems | IEEE Journals & Magazine | IEEE Xplore