"RiTHM: a tool for enabling time-triggered runtime verification for C programs."

Samaneh Navabpour et al. (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics