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 (Jan. 2013), 30–32.