ASOKAN, S.; KOCHALEEMA, K.; SANTHOSH KUMAR, G. Formal Modelling and Verification of the Clock Synchronization Algorithm of FlexRay. Defence Science Journal, v. 73, n. 1, p. 41-50, 9 mar. 2023.