On Mobileye's formal model of autonomous vehicle safety | Dark Hacker News