https://123dok.net/document/yng9vogl-deterministic-stochastic-dependability-analysis-industrial-systems-coloured-approach.html