Modeling statecharts and activitycharts as signal equations

Jean-René Beauvais, Éric Rutten, Thierry Gautier, Roland Houdebine, Paul Le Guernic, Y. M. Tang. Modeling statecharts and activitycharts as signal equations. ACM Transactions on Software Engineering Methodology, 10(4):397-451, 2001. [doi]

Abstract

Abstract is missing.