Brian Mirtich John F. Canny Testing Control Systems Through Dynamic Simulation. V-5-V-6 1996 Symposium on Computational Geometry http://doi.acm.org/10.1145/237218.237424 db/conf/compgeom/compgeom96.html#MirtichC96