KUSHAL K S; DR. MANJU NANDA; J JAYANTHI. Model-Based Analysis of Safety Critical Validation Algorithm. Global Journals of Research in Engineering, [S. l.], v. 17, n. D1, p. 1–12, 2017. Disponível em: https://engineeringresearch.org/index.php/GJRE/article/view/1569. Acesso em: 28 mar. 2024.