Text this: FME 2002: Formal Methods - Getting IT Right