Asokan, S., K. Kochaleema, and G. Santhosh Kumar. “Formal Modelling and Verification of the Clock Synchronization Algorithm of FlexRay”. Defence Science Journal, Vol. 73, no. 1, Mar. 2023, pp. 41-50, doi:10.14429/dsj.73.18449.