A programmable language for clearing procedures | IEEE Conference Publication | IEEE Xplore