CAV 1997Some Thoughts on Statecharts, 13 Years LaterDavid HarelPDFDOI 10.1007/3-540-63166-6_23dblpBibTeXAbstract elided by the publisher.