A dynamic configuration validation language | IEEE Conference Publication | IEEE Xplore