Supratik Chakraborty Joycee Mekie Dinesh K. Sharma Reasoning about synchronization in GALS systems. 153-169 2006 28 Formal Methods in System Design 2 http://dx.doi.org/10.1007/s10703-006-7841-y db/journals/fmsd/fmsd28.html#ChakrabortyMS06