@misc{ProchnowT05,
  author = {Steffen Prochnow and Claus Traulsen},
  title = {{KIEL}---Textual and Graphical Representations of Statecharts},
  howpublished = {Presentation at the 12th Synchronous Workshop (SYNCHRON '05), Malta},
  month = {November},
  year = {2005},
  urltalk = {synchron05-talk.pdf},
}