Enviar por SMS: Formalização de um protocolo Mesh para sistemas IoT em Alloy