P.: Matching and merging of StateCharts specifications (2007)

by S Nejati, M Sabetzadeh, M Chechik, S M Easterbrook, Zave
Venue:In: ICSE