New Methods of Concurrent Checking - Göessel, Michael; Ocheretny, Vitaly; Sogomonyan, Egor; Marienfeld, Daniel (Springer Netherlands, 2008)