Polina Ovsiannikova, Valeriy Vyatkin. Towards user-friendly model checking of IEC 61499 systems with counterexample explanation. In 26th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2021, Vasteras, Sweden, September 7-10, 2021. pages 1-4, IEEE, 2021. [doi]
Abstract is missing.