New Methods of Concurrent Checking - Gössel, Michael. (Springer Netherlands : Imprint: Springer, 2008)