Safe runtime verification of real-time properties (2009)

by C Colombo, G J Pace, G Schneider