History

for article: Dual modular redundancy