Systematically testing a real-time operating system. - Manthos A. Tsoukarellas; Vassilis C. Gerogiannis; Kostis D. Economides (IEEE Micro, 1995)