Managing Complexity in Safety-critical Railway Signaling Systems using Simplex Architectures | IEEE Conference Publication | IEEE Xplore