Popov, P. T. ORCID: 0000-0002-3434-5272 Conservative reliability assessment of a 2-channel software system when one of the channels is probably perfect (MATLAB code used in section 5)