Stewart, C. R. (2024). Traffic Rule Checking and Validation (University of Waterloo). University of Waterloo. Retrieved from http://hdl.handle.net/10012/20344