Author: International Symposium on System Synthesis (12th 1999 San Jose, Calif.)