Towards the Automated Debugging and Maintenance of Logic-based Requirements Models