Modelization and analysis of dynamic heterogeneous redundant system