Combining formal definition of a simulation model with heuristics to improve building sustainability | Publicación