HartOS - A hardware implemented RTOS for hard real-time applications. - Anders Blaabjerg Lange; Karsten Holm Andersen; Ulrik Pagh Schultz; Anders Stengaard Sørensen (PDeS, 2012)