@misc{indiciae956b9366e41a,
  title = {High-Level Synthesis of Parallel Specifications Coupling Static and Dynamic Controllers},
  author = {Castellana, Vito G. and Tumeo, Antonino and Ferrandi, Fabrizio},
  year = {2021},
  url = {https://www.osti.gov/biblio/1823082},
  note = {Source identifier: 1823082}
}