Author: International Symposium on System Synthesis (13th 2000 Madrid, Spain)