Jayasankar, M., and Anandi Giridharan. 2017. “Specification of REST API Services for Modbus Protocol Using Formal Technique”. EAI Endorsed Transactions on Cloud Systems 3 (10):e2. https://doi.org/10.4108/eai.20-12-2017.153492.