Michael Barabanov, Wind River Systems, Inc.