Requirements-based Monitoring and Diagnosis