Accounting for Human Error Probability in SIL Verification