1. Kim M, Viswanathan M, Ben-Abdallah H, Kannan S, Lee I, Sokolsky O (1999) Formally specified monitoring of temporal properties. In: Proceedings of the 11th Euromicro conference on real-time systems (ECRTS 1999), pp 114–122. IEEE Computer Society
2. Sokolsky O, Kannan S, Kim M, Lee I, Viswanathan M (1999) Steering of real-time systems based on monitoring and checking. In: Proceedings of the Fifth international workshop on object-oriented real-time dependable systems, WORDS’99, pp 11–18. IEEE Computer Society
3. Havelund K, Rosu G (2001) Monitoring programs using rewriting. In: Proceedings of the 16th IEEE international conference on automated software engineering (ASE 2001), pp 135–143. IEEE Computer Society
4. Giannakopoulou D, Havelund K (2001) Automata-based verification of temporal properties on running programs. In: Proceedings of the 16th IEEE international conference on automated software engineering (ASE 2001), pp 412–416. IEEE Computer Society
5. Viswanathan M, Kim M (2004) Foundations for the run-time monitoring of reactive systems-fundamentals of the MaC language. In: Zhiming L, Keijiro A