Asokan, S., Kochaleema, K. and Santhosh Kumar, G. 2023. Formal Modelling and Verification of the Clock Synchronization Algorithm of FlexRay. Defence Science Journal. 73, 1 (Mar. 2023), 41-50. DOI:https://doi.org/10.14429/dsj.73.18449.