Peter Müller: Formal Methods-Based Tools for Race, Deadlock, and Other Errors. Encyclopedia of Parallel Computing 2011: 704-710