A Translation of Statecharts into Signal Approach of Time, Interoperability. - Jean-René Beauvais; Roland Houdebine; Paul Le Guernic; Éric Rutten; Thierry Gautier (ACSD, 1998)

Co-inductive Axiomatization of a Synchronous Language. - David Nowak; Jean-René Beauvais; Jean-Pierre Talpin (TPHOLs, 1998)

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)