Variability handling in DTMCs.