Actuator Based Hazard Analysis for Safety Critical Systems.

Per Johannessen, Fredrik Trner, Jan Torin

Browse the full SAFECOMP paper archive.