發送短信: Modelling of a Communication Protocol for IoT based Applications