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

@inproceedings{Reggio2000CASLCHARTAC,
  title={CASL-CHART: A Combination of Statecharts and of the Algebraic Specification Language CASL},
  author={Gianna Reggio and Lorenzo Repetto},
  booktitle={AMAST},
  year={2000}
}