Fig. 4From: Timed protocol analysis of interconnected mobile IoT devicesEnabling timed DeX interactions via mediatorsBack to article page