@inproceedings{WeSc23,
  key         ={WeSc23},
  author      ={M.C. Werner and K. Schneider},
  title       ={Formal Methods-based Optimization of Dataflow Models with Translation to Synchronous Models},
  booktitle   ={Forum on Specification and Design Languages (FDL)},
  address     ={Turin, Italy},
  publisher   ={IEEE Computer Society},
  pages       ={1-8},
  year        ={2023},
  remark      ={rsg},
}