@inproceedings{SchulzRosengartenMAC+23,
  author = {Alexander Schulz-Rosengarten and Michael Mendler and Joaquin Aguado and Malte Clement and Reinhard von Hanxleden},
  title = {Trapping Behavior Trees in Esterel},
  booktitle = {Proc.\ Forum on Specification and Design Languages (FDL '23)},
  month = {September},
  year = {2023},
  address = {Turin, Italy},
  pdf = {fdl23.pdf},
}