A Discussion on the Process of Eliciting and Validating Requirements to Handle Single Event Upsets in Avionic Systems