Traffic Rule Checking and Validation