Guide to Verification and Validation of the Scale-4 Criticality Safety Software door F