1. A Methodology for Operation Planning;Ahlquist,2002
2. Computer aided process planning: A state of the art survey;Alting;International Journal of Production Research,1989
3. PLCTOOLS: Design, Formal Validation, and Code Generation for Programmable Controllers;Baresi,2000
4. PLCTools: Graph Transformation Meets PLC Design;Baresi;Electronic Notes in Theoretical Computer Science,2002