A Methodology to Efficiently Compare Operating System Stability. - Erik van der Kouwe; Cristiano Giuffrida; Razvan Ghituletez; Andrew S. Tanenbaum (HASE, 2015)