HAAIS-DSL: DSL to develop home automation and ambient intelligence systems. - Pedro J. Clemente; José María Conejero; Juan Hernández 001; Lara Sánchez (IIES@EuroSys, 2009)