On this page you can find the pdf of the white paper on the minimum safe distance, as a reply to the paper "On a Formal Model of Safe and Scalable Self-driving Cars" by Mobileye. You'll also find the Matlab code to the simulation.