Distributed systems employed in critical infrastructures must fulfill dependability timeliness and performance specifications. Since these systems most often operate in an unpredictable environment their design and maintenance require quantitative evaluation of deterministic and probabilistic timed models. This need gave birth to an abundant literature devoted to formal modeling languages combined with analytical and simulative solution techniques The aim of the book is to provide an overview of