Ulrich Herzog Process algebras are getting mature for performance evaluation?! 15-18 1999 27 SIGMETRICS Performance Evaluation Review 3 http://doi.acm.org/10.1145/340242.340303 db/journals/sigmetrics/sigmetrics27.html#Herzog99