Author: International Symposium on System Synthesis (10th 1997 Antwerp, Belgium)