Fig. 1From: Timed protocol analysis of interconnected mobile IoT devicesTransport Information Management (TIM) systemBack to article page