Consistency and Refinement for Interval Markov Chains 12