Sarah Azimi, Luca Sterpone: Digital Design Techniques for Dependable High Performance Computing. ITC 2020: 1-10