Media type: E-Article Title: An integrated framework for checking the behaviour of fUML models using CSP Contributor: Abdelhalim, Islam; Schneider, Steve; Treharne, Helen imprint: Springer Science and Business Media LLC, 2013 Published in: International Journal on Software Tools for Technology Transfer Language: English DOI: 10.1007/s10009-012-0243-0 ISSN: 1433-2787; 1433-2779 Keywords: Information Systems ; Software Origination: Footnote: