Traceability Support for MDE Development of Home Automation Systems Topics: Domain-Specific Languages; Metamodeling; Model Tools; Model Transformation In Proceedings of the 7th International Conference on Software Paradigm Trends ICSOFT - Volume 1, 224-229, 2012 , Rome, Italy