Hubert Garavel, Damien Thivolle. Verification of GALS Systems by Combining Synchronous Languages and Process Calculi. In Corina S. Pasareanu, editor, Model Checking Software, 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings. Volume 5578 of Lecture Notes in Computer Science, pages 241-260, Springer, 2009. [doi]
Abstract is missing.