Tveretina O. Towards the safety verification of real-time systems with the COQ proof assistant. JAMRIS [Internet]. 2009 Jan. 22 [cited 2025 Jun. 22];3(1):30-2. Available from: https://www.jamris.org/index.php/JAMRIS/article/view/627