Vitalsource Technologies, Inc. Formal Methods For Components And Objects