On the conditional residual lifetime of coherent systems under double regularly checking - doi 10.1002/nav.21841 2019-05 Article type Journal