Text this: Development of quantitative software reliability models for digital protection systems of nuclear power plants :