Author: International Symposium on System Synthesis (14th 2001 Montréal, Quebec)