James Bret Michael Doron Drusinsky Duminda Wijesekera Formal Methods in Cyberphysical Systems. 25-29 2021 54 Computer 9 https://doi.org/10.1109/MC.2021.3089267 db/journals/computer/computer54.html#MichaelDW21a