Oleg Sokolsky, Mahesh Viswanathan: Third Workshop on Run-time Verification, RV@CAV 2003, Boulder, Colorado, USA, July 14, 2003. Electronic Notes in Theoretical Computer Science 89, Elsevier 2003