Text this: Analysis and verification of safety computer time constraints for train-to-train communications