Zen and the art of Alpha verification | IEEE Conference Publication | IEEE Xplore