Asynchronous-Channels Within Petri Net-Based GALS Distributed Embedded Systems Modeling | IEEE Journals & Magazine | IEEE Xplore