@inproceedings{WeSc21,
  key         ={WeSc21},
  author      ={M. Werner and K. Schneider},
  title       ={Translation of Continuous Function Charts to Imperative Synchronous {Quartz} Programs},
  booktitle   ={Formal Methods and Models for Codesign (MEMOCODE)},
  address     ={Beijing, China},
  editor      ={I. Saha and L. Zhang},
  publisher   ={ACM},
  pages       ={104-110},
  year        ={2021},
  remark      ={rsg},
}
