State-based reliability model Mobius Atomic Model Formalism