Aceto, Fábregas, Escrig, Ingólfsdóttir, Palomino, 2012. Relating Modal Refinements, Covariant-Contravariant Simulations and Partial Bisimulations, in: . Springer Berlin Heidelberg.. https://doi.org/10.1007/978-3-642-29320-7_18