Integrated Circuit Design for Radiation Environments - Gaul (IEEE, 2003)