Availability modeling of a safe communication system for rolling stock applications | IEEE Conference Publication | IEEE Xplore