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