Random Checkpoint Models for a Double Modular System
13th ISSAT International Conference on Reliability and Quality in Design, Seattle, Washington, U.S.A