Fig. 12From: Timed protocol analysis of interconnected mobile IoT devicesDeX glue two-way synchronous automatonBack to article page