Modeling and Optimization of a Linear Actuator for a Two-Stage Valve Tappet in an Automotive Engine | IEEE Journals & Magazine | IEEE Xplore