Per Lindgren, Marcus Lindner, David Pereira, Luís Miguel Pinho. Contract based verification of IEC 61499. In 14th IEEE International Conference on Industrial Informatics, INDIN 2016, Poitiers, France, July 19-21, 2016. pages 132-141, IEEE, 2016. [doi]
Abstract is missing.