R. Pontes, E. Martins, A. Ambrósio, and E. Villani.
"Embedded Critical Software Testing for Aerospace Applications based on PUS", in <em>Anais do XI Workshop de Testes e Tolerância a Falhas</em>, Gramado/RS, 2010, pp. 119-132, doi: <a href="https://doi.org/10.5753/wtf.2010.23100">https://doi.org/10.5753/wtf.2010.23100</a>.