Jayasankar, M.; Giridharan, A. Specification of REST API Services for Modbus Protocol Using Formal Technique. EAI Endorsed Trans Cloud Sys 2017, 3 (10), e2. https://doi.org/10.4108/eai.20-12-2017.153492.