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