An Evaluation Method for Emergency Procedures in Automatic Metro Based on Complexity | IEEE Journals & Magazine | IEEE Xplore