Derek Riley: Modeling, simulation, and verification of biochemical processes using Stochastic Hybrid Systems. Vanderbilt University, Nashville, Tennessee, USA 2009