Formally specified monitoring of temporal properties,” (1999)

by M Kim, M Viswanathan, H Ben-Abdallah, S Kannan, I Lee, O Sokolsky
Venue:in 11th Euromicro Conference on Real-Time Systems,