Comparing the robustness of POSIX operating systems | IEEE Conference Publication | IEEE Xplore