WIND RIVER SYSTEMS, INC. EXECUTIVE EMPLOYMENT AGREEMENT FOR THOMAS ST. DENNIS