Proceedings. Tenth International Symposium on System Synthesis (Cat. No.97TB100114) | IEEE Conference Publication | IEEE Xplore