Formal simulation model to optimize building sustainability. - Pau Fonseca i Casas; Antoni Fonseca i Casas; Núria Garrido-Soriano; Josep Casanovas (Adv. Eng. Softw., 2014)