Vitalsource Technologies, Inc. Industrial Use Of Formal Methods