@inproceedings{PetzoldKH23,
  author = {Jette Petzold and Jana Krei{\ss} and Reinhard von Hanxleden},
  title = {{PASTA: Pragmatic Automated System-Theoretic Process Analysis}},
  booktitle = {53rd Annual {IEEE/IFIP} International Conference on Dependable Systems and Network, {DSN} 2023, Porto, Portugal, June 27-30, 2023},
  pages = {559--567},
  publisher = {{IEEE}},
  year = {2023},
  doi = {10.1109/DSN58367.2023.00058},
}