"On Modelling and Validation of the MQTT IoT Protocol for M2M Communication."

Alejandro Rodríguez, Lars Michael Kristensen, Adrian Rutle (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics