Expressive Statistical Model Checking of Genetic Networks with Delayed Stochastic Dynamics | Publicación