Valeriy Vyatkin, Hans-Michael Hanisch. Formal modeling and verification in the software engineering framework of IEC 61499: a way to self-verifying systems. In Proceedings of 8th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2001, October 15-18, 2001, Antibes/Juan les Pins, France - Volume 2. pages 113-118, IEEE, 2001. [doi]
Abstract is missing.