Program Monitoring in a Mandatory-results Model