@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} }