A Methodology to Convert Tacit Knowledge into Explicit Knowledge - Smart Building Use Case | IEEE Conference Publication | IEEE Xplore