Probability analysis for state based systems