Dmitrii Drozdov, Sandeep Patil, Victor Dubinin, Valeriy Vyatkin. Towards formal ASM semantics of timed control systems for industrial CPS. In 24th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2019, Zaragoza, Spain, September 10-13, 2019. pages 1682-1685, IEEE, 2019. [doi]
Abstract is missing.