Proceedings of the 14th international symposium on Systems synthesis
ACM Digital Library