[SATToSE] ASE 2018 calls for Tool demos, doctoral symposium, and journal-first papers