Brown, N. Automatically Generating CSP Models for Communicating Haskell Processes. eceasst 2010, 23.