Text this: Software tool for evaluation of reliability and survivability of complex technical system based on logical-probabilistic methodology