A Formal Model and Analysis of the MQ Telemetry Transport Protocol
MQTT-S — A publish/subscribe protocol for Wireless Sensor Networks