Jayasankar, M.; Giridharan, A. Specification of REST API Services for Modbus Protocol Using Formal Technique. EAI Endorsed Trans Cloud Sys 2017, 3, e2.