Vitalsource Technologies, Inc. Cafe: An Industrial-strength Algebraic Formal Method: An Industrial-str