Modeling statecharts and activitycharts as signal equations. - Jean-René Beauvais; Éric Rutten; Thierry Gautier; Roland Houdebine; Paul Le Guernic; Y.-M. Tang (ACM Trans. Softw. Eng. Methodol., 2001)