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