TeX source:
R_{sys} = \prod_{i=1}^{n} (1 - P_{failure, i})