Formally specified monitoring of temporal properties (1999)

by Lee, Oleg Sokolsky
Venue:KVBA + 99] Moonjoo Kim, Mahesh Viswanathan, Hanene Ben-Abdallah, Sampath Kannan, Insup