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), pp. 41-50. doi: 10.14429/dsj.73.18449.