Ian W. Jones, Suwen Yang, Mark R. Greenstreet: Synchronizer Behavior and Analysis. ASYNC 2009: 117-126