Marc Derroitte Eric Dubois Philippe Du Bois Michaël Petit Jean-Pol Michel Towards a Formal Agent-Oriented Requirements Definition of Manufacturing Systems. 141-158 1993 conf/ifip5-3/1993diism DIISM db/conf/ifip5-3/diism1993.html#DerroitteDBPM93