FME 2003: Formal Methods | lit.salon