Which sorting algorithms to choose for hard real-time applications. - Dietmar Mittermair; Peter P. Puschner (RTS, 1997)