Gửi tin nhắn: Automated Roundabout Safety Analysis: Diagnosis and Remedy of Safety Problems 1