Pontes, Rodrigo, Martins, Eliane, Ambrósio, Ana, E Villani, Emília. " Embedded Critical Software Testing for Aerospace Applications based on PUS" Anais do Workshop de Testes e Tolerância a Falhas (WTF) [Online], (28 maio 2010)