Figure 2: SIL verification paradigm.