Property preserving development and testing for CSP-CASL. - TEMESGHEN AZENE (2009)