An Algorithm for Dependency-Preserving Smart Home Updates | IEEE Conference Publication | IEEE Xplore