Modeling of High-Speed Ultrasonic Testing of Railway Rails in Track Inspection | Synapse