Generating C# programs from CSP# models - Zhu, H. (2014)
10.1109/ICSTW.2013.10