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