Tveretina, O. Towards the Safety Verification of Real-Time Systems With the COQ Proof Assistant. JAMRIS 2009, 3 (1), 30-32.