Software Support for Building Automation Requirements Engineering—An Application of Semantic Web Technologies in Automation | IEEE Journals & Magazine | IEEE Xplore