Hierarchical rule design with HaDEs the HeKatE toolchain | IEEE Conference Publication | IEEE Xplore