Alternating Simulation on Hierarchical Abstractions | IEEE Conference Publication | IEEE Xplore