(1)
Asokan, S.; Kochaleema, K.; Santhosh Kumar, G. Formal Modelling and Verification of the Clock Synchronization Algorithm of FlexRay. Def. Sc. J. 2023, 73, 41-50.