[1]
S. Asokan, K. Kochaleema, and G. Santhosh Kumar, “Formal Modelling and Verification of the Clock Synchronization Algorithm of FlexRay”, Def. Sc. J., vol. 73, no. 1, pp. 41–50, Mar. 2023.