Jayasankar, M., and A. 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, doi:10.4108/eai.20-12-2017.153492.