[SATToSE] CfP ME workshop @ MODELS2016