Tveretina, Olga. 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://jamris.d.tomp.pl/index.php/JAMRIS/article/view/627.