Process algebra and probabilistic methods : performance modelling and verification : Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12.-14., 2001 : proceedings - De Alfaro, Luca, 1966-; Gilmore, Stephen, 1962- (Lecture notes in computer science ;, 2001)