@inproceedings{ProchnowvH07b,
  author = {Steffen Prochnow and Reinhard von Hanxleden},
  title = {Enhancements of {Statechart}-Modeling---The {KIEL} Environment},
  booktitle = {Proceedings of the ARTIST 2007 International Workshop on Tool Platforms for Modeling, Analysis and Validation of Embedded Systems, held in conjunction with the 19th International Conference on Computer Aided Verification (CAV '07)},
  year = {2007},
  address = {Berlin, Germany},
  month = {July},
  urltalk = {artist07-talk.pdf},
}