Moonjoo Kim, Mahesh Viswanathan, Hanêne Ben-Abdallah, Sampath Kannan, Insup Lee, Oleg Sokolsky. Formally specified monitoring of temporal properties. In 11th Euromicro Conference on Real-Time Systems (ECRTS 1999), 9-11 June 1999, York, England, UK, Proceedings. pages 114-122, IEEE Computer Society, 1999. [doi]
Abstract is missing.