Combining monitors for run-time system verification
by Levy, J. and Saidi, H. and Uribe, T.
Electronic Notes in Theoretical Computer Science, vol. 70, no. 4, Dec 2002.
