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