https://www.sei.cmu.edu/blog/verifying-software-with-timers-and-clocks-stacs/
Verifying Software with Timers and Clocks (STACs) | CMU Software Engineering Institute
Discover exploratory research to formally verify safety properties of sequential and concurrent STACs at the source-code level in this SEI Blog.
timers and clockscmu engineeringverifyingsoftwarestacs