Open computation tree logic for formal verification of modules | IEEE Conference Publication | IEEE Xplore