1. Towards a theory of geometric tolerancing;Requicha;Robot. Res.,1983
2. Modeling of PLC behaviour by means of timed net condition/event systems;Hanisch,1997
3. Soft-testing of industrial control systems programmed in IEC1131-3 languages;Hassapis,2000
4. The development of a generic PC-based programmable logic controller simulator;Joshi;Int. J. Prod. Res.,1992
5. Interactive testing of programmable controller application software with process simulation;Degrace,1992