A contribution to the debate on safety-critical software (1988)