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 (Dec. 2017), e2. DOI:https://doi.org/10.4108/eai.20-12-2017.153492.