Research Article

Extended FRAM by Integrating with Model Checking to Effectively Explore Hazard Evolution

Figure 5

Scenario 2 for the accident.