Toward dependability benchmarking of partitioning operating systems. - Raul Barbosa; Johan Karlsson; Qiu Yu; Xiaozhen Mao (DSN, 2011)