S. Asokan, K. Kochaleema, and G. Santhosh Kumar, “Formal Modelling and Verification of the Clock Synchronization Algorithm of FlexRay”, DSJ, vol. 73, no. 1, pp. 41-50, Mar. 2023.