Dang, Duc Hanh and Truong, Anh Hoang and Gogolla, Martin  (2010) Checking the Conformance between Models Based on Scenario Synchronization.  Journal of Universal Computer Science, 16  (17).   pp. 2293-2312.  ISSN 0948-695x