Control Barrier Functions for Stochastic Systems - Andrew Clark (2020)