This book provides an in-depth understanding of precise and approximate MMC modeling and calculation techniques of engineering systems. The in-depth analysis demonstrates that it is only possible to precisely model and calculate the dependability of systems including s-dependent components with the knowledge of their (total) universe spaces, represented here by Markov spaces. They provide the basis for developing and verifying approximate MMC models. With the mathematical steps described and applied to several examples throughout this text, interested system developers and users can perform dependability analyses themselves. All examples are structured in precisely the same way.