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