Zaslat SMS: [New technologies for space avionics] : [final report, 1994].