Text this: Critical systems validation and verification with CSP and FDR