Pontes, R., 		Martins, E., 		Ambrósio, A., & 		Villani, E.
(2010).
Embedded Critical Software Testing for Aerospace Applications based on PUS.
In <em>Anais do XI Workshop de Testes e Tolerância a Falhas</em>, (pp. 119-132). Porto Alegre: SBC.
doi:10.5753/wtf.2010.23100