Runtime Verification (RV’03 (2003)

by O Sokolsky, M Viswanathan