Rodrigo Pontes, Eliane Martins, Ana Ambrósio, and Emília Villani. 2010. Embedded Critical Software Testing for Aerospace Applications based on PUS. In Anais do XI Workshop de Testes e Tolerância a Falhas, maio 28, 2010, Gramado/RS, Brasil. SBC, Porto Alegre, Brasil, 119-132. DOI: https://doi.org/10.5753/wtf.2010.23100.