Formal Verification of IEC 61499 Enhanced with Timed Events. - Viktor Shatrov; Valeriy Vyatkin (DoCEIS, 2020)

Promela Formal Modelling and Verification of IEC 61499 Systems with comparison to SMV. - Viktor Shatrov; Valeriy Vyatkin (INDIN, 2021)