Modelling Office Lighting Optimization for Daylight Saving Time Transitions | IEEE Conference Publication | IEEE Xplore