Checking automatically the output of concurrent threads. - Rainer Oechsle; Kay Barzen (ITiCSE, 2007)