Fig. 3From: Timed protocol analysis of interconnected mobile IoT devicesCS, PS, DS and TS interaction paradigms and the supported interaction typesBack to article page