The following publications are possibly variants of this publication:
- Towards IEC 61499 models of computation in Ptolemy IICheng Pang, Wenbin Dai, Valeriy Vyatkin. iecon 2015: 1988-1993 [doi]
- Cyber-physical automation systems modelling with IEC 61499 for their formal verificationMidhun Xavier, Sandeep Patil, Valeriy Vyatkin. indin 2021: 1-6 [doi]
- Modelling Industrial Cyber-Physical Systems using IEC 61499 and OPC UAWenbin Dai, Yineng Song, Zhijie Zhang, Peng Wang, Cheng Pang, Valeriy Vyatkin. indin 2018: 772-777 [doi]
- Simulation-Enhanced Development of Industrial Cyber-Physical Systems Using OPC-UA and IEC 61499Samuli Metsälä, Kashif Gulzar, Valeriy Vyatkin, Laura Gröhn, Eero Väänänen, Lauri Saikko, Magnus Nyholm. holomas 2017: 125-139 [doi]
- Speculative computation in IEC 61499 function blocks execution - Modeling and simulationDmitrii Drozdov, Victor Dubinin, Valeriy Vyatkin. indin 2016: 748-755 [doi]
- Towards unambiguous FBD: IEC 61499 modelling, automatic generation and equivalence testingAnand George, Polina Ovsiannikova, Valeriy Vyatkin. visalg 2021: 1-6 [doi]
- Towards user-friendly model checking of IEC 61499 systems with counterexample explanationPolina Ovsiannikova, Valeriy Vyatkin. etfa 2021: 1-4 [doi]