Time to Line Crossing for Lane Departure Avoidance: A Theoretical Study and an Experimental Setting | Synapse