The ELEKTRA railway signalling system: field experience with an actively replicated system with diversity | IEEE Conference Publication | IEEE Xplore