"Monitoring Off-the-Shelf Components."

A. Prasad Sistla, Min Zhou, Lenore D. Zuck (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics