Author: IEEE Workshop on Real-Time Operating Systems and Software (11th 1994 Seattle, Wash.)