Fig. 7From: Timed protocol analysis of interconnected mobile IoT devicesDeX sender automatonBack to article page