Situation-Driven Context-Aware Safety Model for Risk Mitigation Using LTL in a Smart Home Environment | IEEE Conference Publication | IEEE Xplore