Rusnak, P., Zaitseva, E., Coolen, F., Kvassay, M., & Levashenko, V. (2023). Logic Differential Calculus for Reliability Analysis Based on Survival Signature. IEEE Transactions on Dependable and Secure Computing, 20(2), 1529-1540. https://doi.org/10.1109/tdsc.2022.3159126