Asynchronous wrappers configuration within GALS systems specified by Petri nets | IEEE Conference Publication | IEEE Xplore