Dependability Verification of Nanosatellite Embedded Software Supported by a Reusable Test System. - Carlos A. P. L. Conceicao; Fátima Mattiello-Francisco; Carlos L. G. Batista (LADC, 2016)