The development procedures and tools applied for the attitude control software of the Italian satellite sax
The development procedures and tools applied for the attitude control software of the Italian satellite sax / by G.J. Hameetman and G.J. Dekker