"Formal Modelling and Incremental Verification of the MQTT IoT Protocol."

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