Viorel Preoteasa, Timo Latvala, Kimmo Varpaaniemi. Modelling Programmable Logic Controllers in Refinement Calculus of Reactive Systems. In Krzysztof Ropiak, Lech Polkowski, Piotr Artiemjew, editors, Proceedings of the 28th International Workshop on Concurrency, Specification and Programming, Olsztyn, Poland, September 24-26th, 2019. Volume 2571 of CEUR Workshop Proceedings, CEUR-WS.org, 2019. [doi]
Abstract is missing.