"On CTL Model Checking of the MQTT IoT Protocol using the Sweep-Line Method."

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