Reliable system design: models, metrics and design techniques.

Subhasish Mitra, Ravishankar K. Iyer, Kishor S. Trivedi, James W. Tschanz

Browse the full ICCAD paper archive.