On the specification of modal systems: A comparison of three frameworks | Publicación