Text this: Modeling and verification of valve train dynamics in engines