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