Testing Multimodal Interactive Applications by Means of the TTT Language In Proceedings of the International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn - Volume 0MODELSWARD, 23-32, 2016 , Rome, Italy