Shoham Ben-David, Dana Fisman, Sitvanit Ruah. The Safety Simple Subset. In Shmuel Ur, Eyal Bin, Yaron Wolfsthal, editors, Hardware and Software Verification and Testing, First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers. Volume 3875 of Lecture Notes in Computer Science, pages 14-29, Springer, 2005. [doi]
Abstract is missing.