JAYASANKAR, M.; GIRIDHARAN, A. Specification of REST API Services for Modbus Protocol using Formal technique. EAI Endorsed Transactions on Cloud Systems, [S. l.], v. 3, n. 10, p. e2, 2017. DOI: 10.4108/eai.20-12-2017.153492. Disponível em: https://publications.eai.eu/index.php/cs/article/view/2515. Acesso em: 17 may. 2024.