%A Duc Hanh Dang %A Anh Hoang Truong %A Martin Gogolla %J Journal of Universal Computer Science %T Checking the Conformance between Models Based on Scenario Synchronization %N 17 %P 2293-2312 %V 16 %D 2010 %L SisLab1959