https://1library.org/document/zkex7nmz-miguel-pereira-cavique-abordagem-axiomatica-projecto-sistemas-climatizacao.html