MTTF and availability of semi-Markov missions with non-identical generally distributed component lifetimes. Issue 2 (3rd April 2023)