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, 2009. Disponível em: https://www.jamris.org/index.php/JAMRIS/article/view/627. Acesso em: 30 apr. 2025.