_id,doi,title
1351,10.1007/s00236-016-0278-x,Model checking the evolution of gene regulatory networks
