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