@inproceedings{WeSc24a,
  key         ={WeSc24a},
  author      ={M.C. Werner and K. Schneider},
  title       ={From Imperative Sequential Structured Text Models to Synchronous {Quartz} and Sequentially Constructive Models},
  booktitle   ={Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)},
  address     ={Kaiserslautern, Germany},
  editor      ={W. Kunz and D. Große},
  publisher   ={VDE},
  series      ={ITG-Fachbericht},
  pages       ={164-174},
  year        ={2024},
  remark      ={rsg},
}