Vitalsource Technologies, Inc. Automated Analysis Of Virtual Prototypes At The Electronic System Level