A component based approach for modeling and validation of an automated manufacturing system. - Domenico Cavaliere; Françoise Simonot-Lion; Yeqiong Song; Olivier Hembert (ETFA (1), 2001)