A framework for monitoring transition systems door M. Wolbers & R.K.W. van der Velden