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 March 3, 2026. https://publications.eai.eu/index.php/cs/article/view/2515.