Pontes, Rodrigo, Martins, Eliane, Ambrósio, Ana, AND Villani, Emília. " Embedded Critical Software Testing for Aerospace Applications based on PUS" Proceedings of the Fault Tolerance Workshop (WTF) [Online], (28 May 2010)