Fig. 9From: Timed protocol analysis of interconnected mobile IoT devicesDeX glue one-way automatonBack to article page