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