Towards the safety verification of real-time systems with the COQ proof assistant - Tveretina, Olga (Journal of Automation, Mobile Robotics and Intelligent Systems, 2009)