Tveretina, O. (2013). Towards the safety verification of real-time systems with the COQ proof assistant. Journal of Automation, Mobile Robotics and Intelligent Systems, 3(1), 30-32. https://www.jamris.org/index.php/JAMRIS/article/view/627