@techreport{StarkeTvH09,
  author = {Falk Starke and Claus Traulsen and Reinhard von Hanxleden},
  title = {Executing {Safe State Machines} on a Reactive Processor},
  type = {Technical Report},
  number = {0907},
  institution = {Christian-Albrechts-Universit{\"a}t zu Kiel, Department of Computer Science, Kiel, Germany},
  year = {2009},
  month = {March},
  pdf = {report-0907.pdf},
}