An MILP Model for the Internal Audit Scheduling Problem | IEEE Conference Publication | IEEE Xplore