FME 2003: Formal methods