Proceedings of the 10th international symposium on System synthesis
ACM Digital Library