Animating Formal Requirements Specifications of Cooperative Information Systems. - Eric Dubois 001; Philippe Du Bois; Frédéric DuBru (CoopIS, 1994)