Benchmarking operating system dependability: Windows 2000 as a case study | IEEE Conference Publication | IEEE Xplore