[SATToSE] CfP ME workshop @ MODELS2017