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