Jayasankar, M., and Anandi Giridharan. “Specification of REST API Services for Modbus Protocol Using Formal Technique”. EAI Endorsed Transactions on Cloud Systems 3, no. 10 (December 20, 2017): e2. Accessed May 17, 2024. https://publications.eai.eu/index.php/cs/article/view/2515.