CASL-CHART: A Combination of Statecharts and of the Algebraic Specification Language CASL