Space SEE risk assessment for a commercial digital TV receiver | IEEE Journals & Magazine | IEEE Xplore