Dependability for Systems with a Partitioned State Space