Keyword: autonomic stochastic automata