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