Tyger: A Tool for Automatically Simulating CSP−Like Languages in CSP - Gibson−Robinson, T (2010)