Designing Animation Facilities for gCSP. - Hans T. J. van der Steen; Marcel A. Groothuis; Jan F. Broenink (CPA, 2008)