Verifying CIM models of Apache Web-server configurations | IEEE Conference Publication | IEEE Xplore