Text this: Testing safety-related software :