Proceedings of the ... International Symposium on System Synthesis (IEEE Computer Society Press, 1995)