Stochastic relations foundations for Markov transition systems - Doberkat, Ernst-Erich (Chapman & Hall/CRC studies in informatics series, 2007)