Vitalsource Technologies, Inc. Fme 2002: Formal Methods - Getting It Right