Vitalsource Technologies, Inc. Theory And Practice Of Formal Methods