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