A smart home model using JaCaMo framework | IEEE Conference Publication | IEEE Xplore