Asokan S, Kochaleema K, Santhosh Kumar G. Formal Modelling and Verification of the Clock Synchronization Algorithm of FlexRay. Def. Sc. J. [Internet]. 2023 Mar. 9 [cited 2025 Jul. 6];73(1):41-50. Available from: https://publications.drdo.gov.in/ojs/index.php/dsj/article/view/18449