Hans-Christian Lapp, Christian Gerber, Hans-Michael Hanisch. Improving verification and reliability of distributed control systems design according to IEC 61499. In Proceedings of 15th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2010, September 13-16, 2010, Bilbao, Spain. pages 1-8, IEEE, 2010. [doi]
Abstract is missing.