Maarten Koning, Wind River Systems, Inc.