Towards high-level fuzzy control specifications for building automation systems. - Juan Carlos Vidal; Paulo Carreira 001; Vasco Amaral 001; Joao Aguiam; João Miguel da Costa Sousa (Softw. Syst. Model., 2020)