A conservative confidence bound for the probability of failure on demand of a software-based system based on failure-free tests of its components - Bishop, Peter; Povyakalo, Andrey (Reliability Engineering and System Safety, 2020)