Architectural synthesis of timed asynchronous systems | IEEE Conference Publication | IEEE Xplore