8.9 - Software Safety Analysis