Die strukturierte Analyse Markovscher Modelle - Buchholz, Peter (Informatik-Fachberichte, 1991)