Asokan, S., Kochaleema, K., & Santhosh Kumar, G. (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