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.