Per aprire la risorsa fai click su Video: DTMC transient and reachability probabilities