Calculating bounds on reachability and connectedness in stochastic networks | Synapse