rltl-runtime-monitoring-code