COMBINING FORMAL DEFINITION OF A SIMULATION MODEL WITH HEURISTICS TO IMPROVE BUILDING SUSTAINABILITY | IEEE Conference Publication | IEEE Xplore