@inproceedings{BoysenSRvH20a,
  author = {Andreas Boysen and Alexander Schulz-Rosengarten and Reinhard von Hanxleden},
  title = {A Hard Real Time Demo for Dynamic Ticks and Timed {SCCharts}},
  month = {March},
  address = {Stuttgart, Germany},
  year = {2020},
  pages = {61--64},
  booktitle = {MBMV 2020 --- Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, GMM/ITG/GI-Workshop, GMM-Fachbericht 96},
  pdf = {mbmv20.pdf},
}