Software safety requirements module for smart home actuators | IEEE Conference Publication | IEEE Xplore