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