This book describes Markov models and their use in evaluating the reliability of systems. Detailed discussions of time-dependent and steady-state solutions are provided, along with explanations of the modeling of continuous and discrete repairs. The use of these models for showing compliance to regulatory safety requirements is also discussed.