Quantitative methods in parallel systems (Springer Verlag, 1995)