This book provides an in-depth understanding of precise and approximate MMC modeling and calculationtechniques of engineering systems. The in-depth analysis demonstrates that it is only possible to preciselymodel and calculate the dependability of systems including s-dependentcomponents with the knowledge of their (total) universe spaces, represented hereby Markov spaces. They provide the basis for developing and varifying approximateMMC models. With the mathematicalsteps described and applied to several examples throughout this text, interested system developers and users can perform dependability analyses themselves. Allexamples are structured in precisely the same way.weiterlesen