Pontes, R., Martins, E., Ambrósio, A., & Villani, E. 2010 mai 28. Embedded Critical Software Testing for Aerospace Applications based on PUS. Anais do Workshop de Testes e Tolerância a Falhas (WTF). [Online] :