Gnass: a Gnat-based allocation and scheduling system. - B. Noorduin; Jan van Katwijk; Cornelis Pronk (RTCSA, 1996)