Moonjoo Kim Mahesh Viswanathan Hanêne Ben-Abdallah Sampath Kannan Insup Lee Oleg Sokolsky Formally specified monitoring of temporal properties. 114-122 1999 ECRTS http://dx.doi.org/10.1109/EMRTS.1999.777457 conf/ecrts/1999 db/conf/ecrts/ecrts1999.html#KimVBKLS99