PASTA: Pragmatic Automated System-Theoretic Process Analysis.

Jette Petzold, Jana Krei, Reinhard von Hanxleden

Browse the full DSN paper archive.