Driving Constraints Automata