Properties of behavioural model merging (2006)

by G Brunet, M Chechik, S Uchitel
Venue:FM. Springer-Verlag Lecture Notes in Computer Science 4085