Techniques of Automated Processing of Kolmogorov – Chapman Differential Equation System for Reliability Analysis of Technical Systems | IEEE Conference Publication | IEEE Xplore