Formal simulation model to optimize building sustainability | Publicación