Temporal logics for phylogenetic analysis via model checking | Publicación