Analysis of reliability mappings for reliability-based incremental redundancy