Title: System Synthesis, 8th International Symposium on Isss '95