Jayasankar, M., & Giridharan, A. (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