The 13th International Symposium on System Synthesis proceedings : Madrid, Spain, September 20-22, 2000 / (IEEE Computer Society,)