Verification test problems for the calculation of probability of loss of assured safety in temperature-dependent systems with multiple weak and strong links.