Goran Cengic, Oscar Ljungkrantz, Knut Akesson. Formal Modeling of Function Block Applications Running in IEC 61499 Execution Runtime. In Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2006, September 20-22, 2006, Diplomat Hotel Prague, Czech Republic. pages 1269-1276, IEEE, 2006. [doi]
Abstract is missing.