Kristoffer Nyborg Gregertsen. Execution Time Control: A hardware accelerated Ada implementation with novel support for interrupt handling. PhD thesis, Norwegian University of Science and Technology, Trondheim, Norway, 2012. [doi]
Abstract is missing.