Formalization and Automated Enactment of Winter Road Maintenance Regulatory Requirements | IEEE Conference Publication | IEEE Xplore