NASA contractor report CR (series). 1869. Spaceborne computer executive routine functional design specification: v. 3, Executive routine primitives and process control: by James B. Kennedy, sr.