Towards a Formal Agent-Oriented Requirements Definition of Manufacturing Systems. - Marc Derroitte; Eric Dubois 001; Philippe Du Bois; Michaël Petit; Jean-Pol Michel (DIISM, 1993)