A Framework for Monitoring Transition Systems (2008)