Integrating Deployment Techniques with Monitoring: The Proactive Configuration Checker (PCC) | IEEE Conference Publication | IEEE Xplore