Model-driven Test Engineering - A Practical Analysis in the AQUA-WS Project Topics: Aspects Testing and Verification; Model Testing In Proceedings of the 7th International Conference on Software Paradigm Trends ICSOFT - Volume 1, 111-119, 2012 , Rome, Italy