@InProceedings{Barnett-Schulte01a,
AUTHOR = "Mike Barnett and Wolfram Schulte",
title = "Spying on Components: A Runtime Verification Technique",
booktitle = "Workshop on Specification and Verification of Component-Based Systems",
editor = "Gary T. Leavens and Murali Sitaraman and Dimitra Giannakopoulou",
month = "Oct.",
year = "2001",
note = "Published as Iowa State Technical Report 01-09a"
}