FP7 collaborative research project DIAMOND: Diagnosis, error modeling and correction for reliable systems design | IEEE Conference Publication | IEEE Xplore