1 A Formal Monitoring-based Framework for Software Development and Analysis Feng Chen Marcelo D'Amorim Grigore Rosu University of Illinois at Urbana-Champaign. - ppt download
Java-MOP: A Monitoring Oriented Programming Environment for Java | SpringerLink