Pontes, Rodrigo, Eliane Martins, Ana M. Ambrósio, and Emília Villani.
"Embedded Critical Software Testing for Aerospace Applications based on PUS." <em>Anais do XI Workshop de Testes e Tolerância a Falhas,
Gramado/RS, 2010</em>. SBC, 2010,  
pp.119-132.