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