Benchmarking and Testing OSD for Correctness and Compliance. - Dalit Naor; Petra Reshef; Ohad Rodeh; Allon Shafrir; Adam Wolman; Eitan Yaffe (Haifa Verification Conference, 2005)