@Article{,
 author = {H. Piech, O. Siedlecka--Lamch},
 title = {Interval Probabilities of State Transitions in Probabilistic Automata},
 journal = {Lecture Notes in Artificial Intelligence},
 year = {2012},
 volume = {7268},
 pages = {688--696}
 }