Some contributions to stochastic modeling and software package development of reliability of redundant systems