Formal modeling and verification in the software engineering framework of IEC 61499: a way to self-verifying systems.

Valeriy Vyatkin, Hans-Michael Hanisch

Browse the full ETFA paper archive.