Dennis K. Peters David Lorge Parnas Requirements-based monitors for real-time systems. 77-85 2000 ISSTA http://doi.acm.org/10.1145/347324.348874 db/conf/issta/issta2000.html#PetersP00