Fig. 6From: Design framework for reliable and environment aware management of smart environment devicesExecutable model generationBack to article page