Modelling CEBus home automation with knowledge based tools | IEEE Journals & Magazine | IEEE Xplore