FME 2002: Formal Methods - Getting IT Right | lit.salon