Vitalsource Technologies, Inc. Fme 2003: Formal Methods