Journals
Books
Articles by keyword formal models
Analysis of formal models transformation
S. V. Afanasiev