Uma breve discussão sobre processos de elicitação e verificação de requisitos de imunidade à radiação e sua aplicação a sistemas eletrônicos embarcados