My girlfriend told me that she had a car accident once that was caused by a faulty traffic light that showed greed lights to two directions at the same time. I was sure that there are very robust safety systems for traffic lights but I couldn't find anything about it on the web. How does it work?