Gastón Ochoa, Daniel (2020). A study of Xtratum as a tool for space and time partitioning in safety-critical avionics software. Thesis (Master thesis), E.T.S.I. de Sistemas Informáticos (UPM).