Producing prototypes from CO-OPN specifications. - Didier Buchs; Jacques Flumet; Pascal Racloz (RSP, 1992)