Tveretina, Olga. “Towards the Safety Verification of Real-Time Systems With the COQ Proof Assistant”. Journal of Automation, Mobile Robotics and Intelligent Systems 3, no. 1 (January 22, 2013): 30–32. Accessed May 18, 2024. https://www.jamris.org/index.php/JAMRIS/article/view/627.