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