Reproducing Synchronization Bugs with Model Checking. - Karen Yorav; Sagi Katz; Ron Kiper (CHARME, 2001)