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