Logic differential calculus in time-dependent analysis of a pair of system components | IEEE Conference Publication | IEEE Xplore