Vitalsource Technologies, Inc. Software and System Development using Virtual Platforms: Full-System Simulation with Wind River Simics