Zhengyuan Zhou, Michael P. Vitus, Claire J. Tomlin: Convexity verification for a hybrid chance constrained method in stochastic control problems. ACC 2014: 4494-4499