Asokan, Shimmi, K.H. Kochaleema, and G. Santhosh Kumar. “Formal Modelling and Verification of the Clock Synchronization Algorithm of FlexRay”. Defence Science Journal 73, no. 1 (March 9, 2023): 41-50. Accessed May 19, 2024. https://publications.drdo.gov.in/ojs/index.php/dsj/article/view/18449.