%0 Book %D 2000 %T A compositional approach to statecharts semantics %A L\üttgen,G. %A Von Der Beeck,M. %A Cleaveland, Rance %I ACM %V 25 %8 2000/// %G eng