Functional Safety Assessment of Safety-Related Systems with Non-perfect Proof-Tests