"Formal Verification of Cyber-Physical Systems Using Theorem Proving."

Adnan Rashid, Umair Siddique, Sofiène Tahar (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics