Towards a Framework for Monitoring Transition Systems