Combining monitors for run-time system verification (2002)

by J Levy, H Saidi, T E Uribe
Venue:Electronic Notes in Theoretical Computer Science