A Simulation Environment for the Analysis of Home Automation Systems