% Generated by IEEEtran.bst, version: 1.12 (2007/01/11)
\begin{thebibliography}{1}
\providecommand{\url}[1]{#1}
\csname url@samestyle\endcsname
\providecommand{\newblock}{\relax}
\providecommand{\bibinfo}[2]{#2}
\providecommand{\BIBentrySTDinterwordspacing}{\spaceskip=0pt\relax}
\providecommand{\BIBentryALTinterwordstretchfactor}{4}
\providecommand{\BIBentryALTinterwordspacing}{\spaceskip=\fontdimen2\font plus
\BIBentryALTinterwordstretchfactor\fontdimen3\font minus
  \fontdimen4\font\relax}
\providecommand{\BIBforeignlanguage}[2]{{%
\expandafter\ifx\csname l@#1\endcsname\relax
\typeout{** WARNING: IEEEtran.bst: No hyphenation pattern has been}%
\typeout{** loaded for the language `#1'. Using the pattern for}%
\typeout{** the default language instead.}%
\else
\language=\csname l@#1\endcsname
\fi
#2}}
\providecommand{\BIBdecl}{\relax}
\BIBdecl

\bibitem{VanMierlo_SCCD}
S.~Van~Mierlo, Y.~Van~Tendeloo, B.~Meyers, J.~Exelmans, and H.~Vangheluwe,
  ``{SCCD}: {SCXML} extended with class diagrams,'' in \emph{3rd Workshop on
  Engineering Interactive Systems with SCXML, part of EICS 2016}, 2016.

\bibitem{Harel_Statecharts}
D.~Harel, ``Statecharts: a visual formalism for complex systems,''
  \emph{Science of Computer Programming}, vol.~8, no.~3, pp. 231--274, June
  1987.

\bibitem{Harel_VisualFormalisms}
\BIBentryALTinterwordspacing
------, ``On visual formalisms,'' \emph{Commun. ACM}, vol.~31, no.~5, pp.
  514--530, May 1988. [Online]. Available:
  \url{http://doi.acm.org/10.1145/42411.42414}
\BIBentrySTDinterwordspacing

\bibitem{Harel1996}
\BIBentryALTinterwordspacing
D.~Harel and A.~Naamad, ``{The STATEMATE Semantics of Statecharts},'' \emph{ACM
  Trans. Softw. Eng. Methodol.}, vol.~5, no.~4, pp. 293--333, oct 1996.
  [Online]. Available: \url{http://doi.acm.org/10.1145/235321.235322}
\BIBentrySTDinterwordspacing

\bibitem{Harel_Rhapsody}
D.~Harel and H.~Kugler, \emph{Integration of Software Specification Techniques
  for Applications in Engineering: Priority Program SoftSpez of the German
  Research Foundation (DFG), Final Report}.\hskip 1em plus 0.5em minus
  0.4em\relax Berlin, Heidelberg: Springer Berlin Heidelberg, 2004, ch. The
  Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML),
  pp. 325--354.

\end{thebibliography}
