Formal Modelling and Verification of IEC61499 Function Blocks with Abstract State Machines and SMV - Execution Semantics.

Sandeep Patil, Victor Dubinin, Valeriy Vyatkin

Browse the full SETTA paper archive.