Proceedings of the 10th international symposium on System synthesis