New Methods of Concurrent Checking - Gössel, Michael. (Frontiers in Electronic Testing, 2008)