Preface to the proceedings of the demonstrations track of PRIMA 2017