Applying analytical and empirical schedulability analysis techniques to a real spacecraft flight software. - Nunzio Cecere; Massimo Tipaldi; Davide De Pasquale (Int. J. Embed. Syst., 2020)