Author: Taiwan) International Symposium on System Synthesis (11th : 1998 : Hsinchu