Jensen's method for Random mission times - German, Reinhard 1964- (Forschungsberichte des Fachbereichs Informatik / Technische Universität Berlin, 1998)