UML-based Design and Verification Method for Developing Dependable Context-aware Systems Topics: Domain-Specific Modeling and Domain-Specific Languages; Model-Based Testing and Validation In Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development MODELSWARD - Volume 1, 89-94, 2013 , Barcelona, Spain