A Software Safety Verification Method Based on System-Theoretic Process Analysis.

Asim Abdulkhaleq, Stefan Wagner

Browse the full SAFECOMP paper archive.