A reference architecture for space systems. - Elena Alaña; Javier Herrero; Santiago Urueña; Krystyna Macioszek; Daniel Silveira (ECSA (Companion), 2018)

Formal Methods Applicability on Space Applications Specification and Implementation Using MORA-TSP. - Daniel Silveira; Andreas Jung; Marcel Verhoef; Tiago Jorge (FM, 2019)