Dependability for Systems with a Partitioned State Space | Kaicus Deutschland