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