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