Pontes, R., Martins, E., Ambrósio, A., & Villani, E. (2010). Embedded Critical Software Testing for Aerospace Applications based on PUS. In Proceedings of the 11th Workshop on Testing and Fault Tolerance, (pp. 119-132). Porto Alegre: SBC. doi:10.5753/wtf.2010.23100