@techreport{TR-DCC-92-11,
  number = {DCC-92-11},
  author = {Elias, V. G. S. and Liesenberg, Hans K. E.},
  title = {Debugging Aids for Statechart-Based Systems},
  month = {November},
  year = {1992}, 
  institution = {Department of Computer Science, University of Campinas},
  note = {In English, 9 pages.
    \par\selectlanguage{english}\textbf{Abstract}
      This paper describes a software development environment which
      transforms specifications defined in terms of statecharts into
      functionally equivalent programs in C.  The environment
      encourages the user to maintain developed systems at the highest
      supported abstraction level, i.e.~at the statechart
      specification level. This process is aided by a concurrent
      animation of the statechart specification with the execution of
      the corresponding functionally equivalent program.  The events
      which drive the execution of the program are handed over to a
      statechart simulator either in real time or are registered in a
      log file and later submitted to the simulator. At the latter
      alternative, the user controls the firing of events which are
      used to animate the program's statechart at an appropriate
      pace. Those facilities may be used to validate developed systems
      as well as to pin-point design errors such as, for instance,
      infinite loops or deadlocks.
  }
}