Requirements-based monitors for real-time systems.

Dennis K. Peters, David Lorge Parnas

Browse the full ISSTA paper archive.