TVERETINA, Olga. Towards the safety verification of real-time systems with the COQ proof assistant. Journal of Automation, Mobile Robotics and Intelligent Systems, [S. l.], v. 3, n. 1, p. 30–32, 2013. Disponível em: https://jamris.d.tomp.pl/index.php/JAMRIS/article/view/627. Acesso em: 15 may. 2025.