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

Figure 3

The model structure of a functional state transition.