Proceedings of the 15th international symposium on System Synthesis
ACM Digital Library