The voltage regulator would be overkill for me. I'm just sensing the state of a 12V source. It’s an automotive application so it could be anywhere form 12-14V. So I guess the best bet is a voltage divider. I would assume any odd spikes in voltage would be taken care of by the internal clamping diodes.