New Methods of Concurrent Checking - Gössel, Michael (Springer Netherlands, 2020)