AMTECH
Dimitrova, D.; Frey, G.; Batchkova, I.: Formal Approach for Modeling and Verification of IEC 61499 Function Blocks. Proceedings of the International Conference Advanced Manufacturing Technologies (AMTECH 2005), Vol. 44, Book 2, pp. 731-736, University of Russe, Bulgaria, Nov. 2005.