Reliable systems - fault tree analysis via markov reward automata
Voor meer informatie zie de Engelse website