Vitalsource Technologies, Inc. From Object-orientation To Formal Methods