Fig. 17From: A framework of safety analysis with temporal feature based on MBSA and case study for ACC systemReachable graph of S2Back to article page