@phdthesis{Wern25,
  key         ={Wern25},
  author      ={M.C. Werner},
  title       ={Model-Based Design of Program Organization Units Using Synchronous Languages},
  address     ={Kaiserslautern, Germany},
  editor      ={K. Schneider and R. {von Hanxleden}},
  month       ={July},
  school      ={Department of Computer Science, RPTU University Kaiserslautern-Landau},
  year        ={2025},
  note        ={PhD},
  remark      ={rsg},
}