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