Basic Terms used in SIL Verification