https://dkvhr.github.io/posts/finding-solutions-probabilistic-automata/
Finding Solutions for Probabilistic Automata - Dkvhr blog