Towards a Practicable Process for Automated Safety Analysis