On Safety Properties and Their Monitoring (2007)

by G Ros¸u