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

Figure 4

The instantiation of the functional interactions.