@inproceedings{ProchnowvH07c,
  author = {Steffen Prochnow and Reinhard von Hanxleden},
  title = {The Use of Complex {Stateflow}-Charts with {KIEL}---An Automotive Case Study},
  booktitle = {Proceedings of 5th GI-Workshop Automotive Software Engineering (ASE '07)},
  year = {2007},
  address = {Bremen, Germany},
  month = {September},
  pdf = {ase07.pdf},
}