Architectural Synthesis of Timed Asynchronous Systems. - Brandon M. Bachman; Hao Zheng 001; Chris J. Myers (ICCD, 1999)