Vitalsource Technologies, Inc. Logical Analysis Of Hybrid Systems