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