Julien Calbert, Benoît Legat, Lucas N. Egidio, Raphaël M. Jungers: Alternating Simulation on Hierarchical Abstractions. CDC 2021: 593-598