Vitalsource Technologies, Inc. Formal Methods in Manufacturing