1. Validation, verification and testing of computer software;Adrion;ACM Computing Surveys,1982
2. BAXPES: An expert system for planning manufacturing lines;Artiba,1989
3. Contribution à la construction d'un système d'aide à la planification et à l'ordonnancement de lignes paralléles multiproduits;Artiba,1990
4. Un système d'ordonnancement prévisionnel d'atelier utilisant des connaissances théoriques et pratiques;Bel,1986
5. Planning and scheduling for epitaxial wafer production facilities;Bitran;Operations Research,1988