Analyzing phylogenetic trees with timed and probabilistic model checking: the lactose persistence case study. | Publicación