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