Formal simulation model to optimize building sustainability

Formal simulation model to optimize building sustainability