Text this: Criteria for use of computers in safety systems of nuclear power plants.