ORK+/XtratuM: An Open Partitioning Platform for Ada. - Ángel Esquinas; Juan Zamorano; Juan Antonio de la Puente; Miguel Masmano; Ismael Ripoll; Alfons Crespo (Ada-Europe, 2011)