Logic Differential Calculus in Time-Dependent Importance Analysis Based on Minimal Cut Vectors | IEEE Conference Publication | IEEE Xplore