Model-based Process Supervision