Authors: Beauvais, JR Rutten, E Gautier, T Houdebine, R Le Guernic, P Tang, YM

Citation: Jr. Beauvais et al., Modeling statecharts and activitycharts as signal equations, ACM T SOFTW, 10(4), 2001, pp. 397-451