FME 2002: Formal Methods - Getting IT Right | Kaicus Deutschland