A comparison of indoor temperature models for building demand response optimisation using MILP | IEEE Conference Publication | IEEE Xplore