You are about to access our book library "Formal Methods and Stochastic Models for Performance Evaluation: Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, ... (Lecture Notes in Computer Science, 4748) full version" .