Dynamic Modeling of Dry-Coupled Ultrasonic Testing: Time-Varying Contact Stiffness and Experimental Validation | Synapse