Albert Benveniste Axel Poigné Foreword. 5-6 2001 19 Formal Methods in System Design 1 db/journals/fmsd/fmsd19.html#BenvenisteP01