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