Pontes, Rodrigo, Eliane Martins, Ana M. Ambrósio, and Emília Villani. " Embedded Critical Software Testing for Aerospace Applications based on PUS." Proceedings of the 11th Workshop on Testing and Fault Tolerance, Gramado/RS, 2010. SBC, 2010, pp.119-132.