Figure 4: HIL verification paradigm.