Fig. 15From: Timed protocol analysis of interconnected mobile IoT devicesDeXM experimental setupBack to article page