@inproceedings{ProchnowvH07a,
  author = {Steffen Prochnow and Reinhard von Hanxleden},
  title = {Enhancements of {Statechart}-Modeling---The {KIEL} Environment},
  booktitle = {Proceedings of the Design, Automation and Test in Europe University Booth (DATE '07)},
  year = {2007},
  address = {Nice, France},
  month = {April},
  note = {With accompanying \href{http://rtsys.informatik.uni-kiel.de/~biblio/downloads/papers/date07-spr-poster.pdf}{poster}},
  pdf = {date07-spr.pdf},
}