Testing conformance of real-time applications by automatic generation of observers (2004)

by S Bensalem, M Bozga, M Krichen, S Tripakis
Venue:In 4th International Workshop on Runtime Verification (RV’04