Interval Evaluation of Stationary State Probabilities for Markov Set-Chain Models | IEEE Conference Publication | IEEE Xplore