4 papers:
AdaEurope-2009-RivasHR #ada #implementation- Implementation of the Ada 2005 Task Dispatching Model in MaRTE OS and GNAT (MAR, MGH, JFR), pp. 105–118.
AdaEurope-2007-RivasR #ada #implementation #realtime- Implementation of New Ada 2005 Real-Time Services in MaRTE OS and GNAT (MAR, JFR), pp. 29–40.
AdaEurope-2004-MasmanoRRC #linux #realtime- Extending the Capabilities of Real-Time Applications by Combining MaRTE-OS and Linux (MM, JR, IR, AC), pp. 144–155.
AdaEurope-2001-Rivas #ada #embedded #kernel #realtime- Michael González Harbour: MaRTE OS: An Ada Kernel for Real-Time Embedded Applications (MAR), pp. 305–316.