@inproceedings{BoysenSRvH20b,
  author = {Andreas Boysen and Alexander Schulz-Rosengarten and Reinhard von Hanxleden},
  title = {A Hard Real Time Demonstrator for Dynamic Ticks and Timed {SCCharts}},
  booktitle = {Proc.\ Forum on Specification and Design Languages (FDL '20)},
  month = {September},
  year = {2020},
  address = {Kiel, Germany},
  pdf = {fdl20-als.pdf},
}