Reachability Analysis and Its Application to the Safety Assessment of Autonomous Cars