Midhun Xavier, Sandeep Patil, Valeriy Vyatkin. Cyber-physical automation systems modelling with IEC 61499 for their formal verification. In 19th IEEE International Conference on Industrial Informatics, INDIN 2021, Palma de Mallorca, Spain, July 21-23, 2021. pages 1-6, IEEE, 2021. [doi]
Abstract is missing.