Author: International Symposium on System Synthesis (15th 2002 Kyoto, Japan)