Requenoand Colom. Analyzing Phylogenetic Trees with Timed and Probabilistic Model Checking: The Lactose Persistence Case Study. Walter de Gruyter GmbH, Dec. 2014, doi:10.1515/jib-2014-248.