Bisimulation characterization and expressivity hierarchy of languages for epistemic awareness models | Publicación