Home Automation systems provide a large number of devices to control diverse appliances. Taking advantage of this diversity to create efficient and intelligent environments requires well designed, validated, and implemented controllers. However, designing and deploying such controllers is a complex and error prone process. This paper presents a toolchain that transforms a design in the form of communicating state machines to an executable controller that interfaces to appliances through a

more »

... e oriented middleware. Design and validation is supported by integrated model checking and simulation facilities. This is extendable to controller synthesis. This toolchain is implemented, and we provide different examples to show its usability.