Dang, Duc Hanh and Truong, Anh Hoang and Gogolla, Martin (2010) On Scenario Synchronization. In: 8th International Conference on Automated Technology for Verification and Analysis (ATVA).