Dominique Méry Beverly A. Sanders Editorial Note. 5 2002 20 Formal Methods in System Design 1 db/journals/fmsd/fmsd20.html#MeryS02