Asokan, S.; Kochaleema, K.; Santhosh Kumar, G. Formal Modelling and Verification of the Clock Synchronization Algorithm of FlexRay. DSJ 2023, 73, 41-50.