@inproceedings{LucasSRvH+21,
  author = {Daniel Lucas and Alexander Schulz-Rosengarten and Reinhard von Hanxleden and Friedrich Gretz and Franz-Josef Grosch},
  title = {Extracting Mode Diagrams from {Blech} Code},
  booktitle = {Proc.\ Forum on Specification and Design Languages (FDL '21)},
  month = {September},
  year = {2021},
  address = {Antibes, France},
  doi = {10.1109/FDL53530.2021.9568375},
  pdf = {fdl21.pdf},
}