Nicolae Brinzei Systems Dependability Assessment. Modeling with Graphs and Finite State Automata Подробнее