参考

[1]·帕夫洛维奇，R.萍儿和M.Kollmann，“PLC程序的自动化形式验证写在IL中，”会议上自动扣除（CADE），不来梅，七月 2007年，页152-163。

[ 2 ] MB的尤尼斯和G·弗雷，“现有的形式化PLC程序：调查， CESA 2003 “论文集，里尔， 2003 。

[3] N。鲍尔，S.Engell，S.罗曼，M. Remelhe和O。斯特斯伯格， “ PLC程序的验证给定的顺序功能图，”课堂笔记电脑科学，卷。3147，2004 ，页517-540 。 [ 4 ] S. R.古永锵，体育H.洪城和S.D.Chaa ，“软件设计规范和分析技术的安全性基于可编程逻辑控制器（PLC ），“第八届IEEE国际论文集关键软件在高可靠性系统工程研讨会（ HASE'04 ） ，佛罗里达州，2004年3月，页283-284 。 [ 5 ] A.马德尔和H.武佩尔，“定时自动机模型简单可编程逻辑控制器，“诉讼在实时系统中11thEuromicro会议1999年，纽约， 1999年6月，pp.106 -113 。 [ 6 ] E. Brinksma1 ， A.马德尔和A. Fehnker ，“验证和PLC控制进度，“国际期刊上的软件工具技术转移优化（ STTT ） ，卷。 4 ，第1号，2002年10月，页21-33 。

[ 7 ] S. Lamp'eri ` ERE和JJ勒萨热，“正式的验证PLC程序的顺序部分，“关于第五届研讨会离散事件系统（ WODES2000 ） ，根特，八月2000年，页247-254 。 [ 8 ] S. Kowalewski ，S. Engell ，J.Preu?ig和O斯特斯伯格，连续植物“验证逻辑控制器使用定时条件/事件系统模型，“自动化：特刊上的混合系统，卷。

35 ，第3号，1999年3月，页505-518 。

74