Modeling Dependability of Dynamic Computing Systems