M. Jayasankar and A. Giridharan, “Specification of REST API Services for Modbus Protocol using Formal technique”, EAI Endorsed Trans Cloud Sys, vol. 3, no. 10, p. e2, Dec. 2017, doi: 10.4108/eai.20-12-2017.153492.