Bruetsch, Christof2005-05-202005-05-202005-05-202003https://infoscience.epfl.ch/handle/20.500.14299/213653Automatic Validation of Concurrent Programmingtext::report