A distributed multi-formalism simulation to support rail infrastructure control design | IEEE Conference Publication | IEEE Xplore