A methodology for thermal modelling and predictive control for building heating systems | IEEE Conference Publication | IEEE Xplore