1. Signal, The Specification of a Generic, Verified Production Cell Controller;Amagbegnon;Lecture note in computer science,1995
2. Un panorama de la recherche en conception de la conduite des systèmes de production;Denis;Congrès internationalde génie industrie de Montreal,1995
3. A hierarchical object oriented method for a distributed implementation of the FMS control system;Farah;Proceeding of 2nd Industrial Automation,1995
4. An Object - Oriented Visual Model Building and Simulation System for FMS Control;Kamigaki;Simulation,1996
5. Modeling and Proving Grafcet Programs. D. MSR'96;L'Her,1996