Jayasankar M, Giridharan A. Specification of REST API Services for Modbus Protocol using Formal technique. EAI Endorsed Trans Cloud Sys [Internet]. 2017 Dec. 20 [cited 2024 May 17];3(10):e2. Available from: https://publications.eai.eu/index.php/cs/article/view/2515