A Formal Model and Analysis of the MQ Telemetry Transport Protocol | IEEE Conference Publication | IEEE Xplore