Specification of REST API Services for Modbus Protocol using Formal technique. - M. Jayasankar; Anandi Giridharan (EAI Endorsed Trans. Cloud Syst., 2017)