Technique of Automated Construction of States and Transitions Graph for the Analysis of Technical Systems Reliability | IEEE Conference Publication | IEEE Xplore