Model-driven engineering applied in functional Testing: The practical experience of the AQUA-WS project | IEEE Conference Publication | IEEE Xplore