@mastersthesis{DAKalisch:2003,
  author={Martin Kalisch},
  title=\{Prozessorsimulation mit Zustandsautomaten},
  year=\{2003},
  month=\{8},
  school=\{Universit{\"a}t Karlsruhe (TH)},
  institution=\{IPD Goos},
  url=\{http://www.info.uni-karlsruhe.de/papers/2003-da-kalisch.pdf},
}