Towards high-level fuzzy control specifications for building automation systems