@TechReport{rosu-2007-tr,
author = {Grigore Ro\c{s}u},
title = "{On Safety Properties and Their Monitoring}",
institution = {Department of Computer Science, University of Illinois at Urbana-Champaign},
Number     = {UIUCDCS-R-2007-2850},
Year       = {2007}
}