Tomás Ausberger, Karel Kubícek, Pavla Medvecová, Tomás Myslivec, Milan Stetina. Model Checking application on Function Block Diagram model. In 25th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2020, Vienna, Austria, September 8-11, 2020. pages 1807-1814, IEEE, 2020. [doi]
Abstract is missing.