Safety Analysis for Automated Transportation Systems