Passenger Ship Evacuation - Design and Verification. - Luis Guarin; Yasmine Hifi; Dracos Vassalos (HCI (17), 2014)