Chaining Unsafe Control Actions in STPA.

Nicholas Petrunti, Spencer Deevy, Vera Pantelic, Mark Lawford, Richard F. Paige, Alan Wassyng

Browse the full SAFECOMP paper archive.