Counting labeled transition probabilities in 2 state CTMC