Safety Of Self-Driving Cars: A Case Study On Lane Keeping Systems