Stateful Requirements Monitoring for Self-Repairing Socio-Technical Systems